The Zerberus Language: Describing the Functional Model of Dependable Real-Time Systems

Titel:: The Zerberus Language: Describing the Functional Model of Dependable Real-Time Systems
Autor(en):: Buckl, Christian; Knoll, Alois; Schrott, Gerhard
Stichworte:: embedded, ftos
Kongress- / Buchtitel:: Proceedings of the Second Latin-American Symposium on Dependable Computing
Verlag / Institution:: Springer
Jahr:: 2005
Seiten:: 101--120
Serientitel:: Lecture Notes in Computer Science
Serienbandnummer:: 3747
BibTeX

Vorkommen: