Hierarchical Hybrid Modeling of Embedded Systems

This publication has 17 references indexed in Scilit:

• Symbolic Reachability Computation for Families of Linear Vector Fields
  Journal of Symbolic Computation, 2001
• What's ahead for embedded software?
  Computer, 2000
• Counterexample-Guided Abstraction Refinement
  Published by Springer Nature ,2000
• Conflict resolution for air traffic management: a study in multiagent hybrid systems
  IEEE Transactions on Automatic Control, 1998
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Computer-aided verification
  IEEE Spectrum, 1996
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• A user guide to HyTech
  Published by Springer Nature ,1995
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986