A methodology for compilation of high-integrity real-time programs

Lermer K. and Fidge C. (1997). A methodology for compilation of high-integrity real-time programs. In: Euro-Par 1997 Parallel Processing - Third International Conference, Proceedings. 3rd International Conference on Parallel Processing, Euro-Par 1997, Passau, (1274-1281). August 26, 1997-August 29, 1997.

Author Lermer K.
Fidge C.
Title of paper A methodology for compilation of high-integrity real-time programs
Conference name 3rd International Conference on Parallel Processing, Euro-Par 1997
Conference location Passau
Conference dates August 26, 1997-August 29, 1997
Proceedings title Euro-Par 1997 Parallel Processing - Third International Conference, Proceedings   Check publisher's open access policy
Journal name Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   Check publisher's open access policy
Series Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publication Year 1997
Sub-type Fully published paper
ISBN 9783540634409
ISSN 0302-9743
Volume 1300 LNCS
Start page 1274
End page 1281
Total pages 8
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, 00:52:31 EST by System User