Benutzer: Gast  Login
Titel:

Zerberus Language Spezification Version 1.0

Dokumenttyp:
Technical Report
Autor(en):
Christian Buckl
Abstract:
This technical report specifies the Zerberus language, a language to describe the formal model of an application. The Zerberus language is part of the Zerberus System, a development environment for secure and reliable real-time control application. The specification is not intended to be an introduction to the Zerberus System; it should rather serve as a reference book for application developers. Besides the pure syntax and semantics of the Zerberus language several semantical errors are discus...     »
Stichworte:
Zerberus System; fault-tolerance; security; reliability; real-time; control system; development environment; functional model
Jahr:
2005
Jahr / Monat:
2005-01-01 00:00:00
Seiten/Umfang:
41
 BibTeX