Login / Signup

Lightweight specification and analysis of dynamic systems with rich configurations.

Nuno MacedoJulien BrunelDavid ChemouilAlcino CunhaDenis Kuperberg
Published in: SIGSOFT FSE (2016)
Keyphrases
  • lightweight
  • dynamic systems
  • complex systems
  • qualitative reasoning
  • linear time invariant
  • discrete event
  • dynamical systems
  • high level
  • wireless sensor networks
  • qualitative models
  • consistency based diagnosis