Integrating real-time scheduling theory and program refinement

Fidge C., Utting M., Kearney P. and Hayes I. (1996). Integrating real-time scheduling theory and program refinement. In: FME 1996: Industrial Benefit and Advances in Formal Methods - 3rd International Symposium of Formal Methods Europe, Proceedings. 3rd International Symposium of Formal Methods Europe, FME 1996, , (327-346). March 18, 1996-March 22, 1996.

Author Fidge C.
Utting M.
Kearney P.
Hayes I.
Title of paper Integrating real-time scheduling theory and program refinement
Conference name 3rd International Symposium of Formal Methods Europe, FME 1996
Conference dates March 18, 1996-March 22, 1996
Proceedings title FME 1996: Industrial Benefit and Advances in Formal Methods - 3rd International Symposium of Formal Methods Europe, Proceedings
Journal name Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Series Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher Springer Verlag
Publication Year 1996
Sub-type Fully published paper
ISBN 9783540609735
ISSN 1611-3349
Volume 1051
Start page 327
End page 346
Total pages 20
Subjects 1700 Computer Science
2614 Theoretical Computer Science
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status Unknown

Document type: Conference Paper
Collection: Scopus Import
 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Tue, 28 Jun 2016, 02:40:10 EST by System User