Schedule Verification and Synthesis for Embedded Real-Time Components (Q3564026)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Schedule Verification and Synthesis for Embedded Real-Time Components |
scientific article |
Statements
Schedule Verification and Synthesis for Embedded Real-Time Components (English)
0 references
2 June 2010
0 references
component-based embedded real-time systems
0 references
real-time scheduling
0 references
timed interfaces
0 references
timed games
0 references
schedule synthesis
0 references
