Formalizing Real-Time Scheduling Using Priority-Based Supervisory Control of Discrete-Event Systems (Q5281872)
From MaRDI portal
scientific article; zbMATH DE number 6752482
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formalizing Real-Time Scheduling Using Priority-Based Supervisory Control of Discrete-Event Systems |
scientific article; zbMATH DE number 6752482 |
Statements
Formalizing Real-Time Scheduling Using Priority-Based Supervisory Control of Discrete-Event Systems (English)
0 references
27 July 2017
0 references
