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

Title:: The Zerberus Language: Describing the Functional Model of Dependable Real-Time Systems
Author(s):: Buckl, Christian; Knoll, Alois; Schrott, Gerhard
Keywords:: embedded, ftos
Book / Congress title:: Proceedings of the Second Latin-American Symposium on Dependable Computing
Publisher:: Springer
Year:: 2005
Pages:: 101--120
Bookseries title:: Lecture Notes in Computer Science
Bookseries volume:: 3747
BibTeX

Occurrences: