Scheduling in real-time models

Kurki-Suonio, R.; Systä, K.; Vain, J. (1991). Scheduling in real-time models. Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, Proceedings. Ed. Vytopil, Jan. Berlin: Springer, 327−340. (Lecture Notes in Computer Science; 571).10.1007/3-540-55092-5_18.
publitseeritud konverentsiettekanne
Kurki-Suonio, R.; Systä, K.; Vain, J.
  • Inglise
Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, Proceedings
Vytopil, Jan
Berlin
Springer
0302-9743
3-540-55092-5
Lecture Notes in Computer Science
571
1991
327340
Ilmunud
1.1. Teadusartiklid, mis on kajastatud Web of Science andmebaasides Science Citation Index Expanded, Social Sciences Citation Index, Arts & Humanities Citation Index ja/või andmebaasis Scopus (v.a. kogumikud)
WOS

Viited terviktekstile

doi.org/10.1007/3-540-55092-5_18

Lisainfo

executable specifications; fairness; formal methods; interleaving model; joint actions; reactive systems
ISI SCI; ISI Proceedings, Scopus