Modular Specification of Hybrid Systems in Charon

This publication has 10 references indexed in Scilit:

• HYTECH: the next generation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Modular refinement of hierarchic reactive machines
  Published by Association for Computing Machinery (ACM) ,2000
• Modular Specification of Hybrid Systems in Charon
  Published by Springer Nature ,2000
• A modular visual model for hybrid systems
  Published by Springer Nature ,1998
• Modularity for timed and hybrid systems
  Published by Springer Nature ,1997
• Automatic symbolic verification of embedded systems
  IEEE Transactions on Software Engineering, 1996
• Hybrid I/O automata
  Published by Springer Nature ,1996
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• Prom timed to hybrid systems
  Published by Springer Nature ,1992
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987