Login / Signup

Modeling Faults of Distributed, Reactive Systems.

Max Breitling
Published in: FTRTFT (2000)
Keyphrases
  • reactive systems
  • model checking
  • information flow
  • multi agent
  • fault diagnosis
  • distributed environment
  • temporal logic
  • petri net
  • formal methods
  • distributed systems
  • mobile agents
  • model based diagnosis
  • control flow