Login / Signup

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

Christian BucklAlois C. KnollGerhard Schrott
Published in: LADC (2005)
Keyphrases
  • real time systems
  • real time
  • probabilistic model
  • computational model
  • high level
  • low cost
  • architectural model