Sign in

Model-based runtime analysis of distributed reactive systems.

Andreas BauerMartin LeuckerChristian Schallhart
Published in: ASWEC (2006)
Keyphrases
  • reactive systems
  • data analysis
  • distributed environment
  • data mining
  • software engineering
  • distributed systems
  • model checking
  • reverse engineering