Login / Signup

Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture.

Holger PfeiferFriedrich W. von Henke
Published in: SAFECOMP (2004)
Keyphrases
  • formal analysis
  • agent model
  • real time
  • formal methods
  • software architecture
  • network architecture
  • decision trees
  • management system
  • intensive care
  • ban logic
  • artificial intelligence
  • highly flexible