Login / Signup

Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment.

Albert BenvenisteLuca P. CarloniPaul CaspiAlberto L. Sangiovanni-Vincentelli
Published in: EMSOFT (2003)
Keyphrases
  • reactive systems
  • model checking
  • information flow
  • temporal logic
  • formal methods
  • databases
  • machine learning
  • information systems
  • expert systems
  • petri net
  • construction process