Login / Signup

Modular formal analysis of the central guardian in the Time-Triggered Architecture.

Holger PfeiferFriedrich W. von Henke
Published in: Reliab. Eng. Syst. Saf. (2007)
Keyphrases
  • formal analysis
  • agent model
  • formal methods
  • management system
  • real time
  • neural network
  • highly flexible
  • ban logic
  • low cost
  • cost effective
  • modular architecture