Login / Signup

Monitoring Reactive Systems with Dynamic Channels.

Dante ZanariniMauro Jaskelioff
Published in: PLAS@ECOOP (2014)
Keyphrases
  • reactive systems
  • real time
  • monitoring system
  • temporal logic
  • decision making
  • dynamic environments
  • multi channel
  • high level
  • data warehouse
  • object oriented
  • model checking