Login / Signup

Formal analysis for dependability properties: the time-triggered architecture example.

Holger PfeiferFriedrich W. von Henke
Published in: ETFA (1) (2001)
Keyphrases
  • formal analysis
  • real time
  • formal methods
  • agent model
  • management system
  • desirable properties
  • neural network
  • complex systems
  • ban logic
  • databases
  • multi agent
  • network architecture