Jasper Fonteijn

Learn More
In computer science, the development of hierarchical au-tomata / statecharts has lead to stepwise development of complex discrete systems. Such a concept is absent in the Compositional Interchange Format (CIF), which is a modelling language based on hybrid automata. In this article we extend the CIF language with the concept of hierarchy , which results in(More)
  • 1