Publisher
Springer Berlin Heidelberg
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Multi-Mode DAE Models - Challenges, Theory and Implementation;Lecture Notes in Computer Science;2019
2. Structural Analysis of Multi-Mode DAE Systems;Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control;2017-04-13
3. A Hybrid Relational Modelling Language;Concurrency, Security, and Puzzles;2016-12-18
4. A Clock-Based Framework for Construction of Hybrid Systems;Theoretical Aspects of Computing – ICTAC 2013;2013
5. Communication concepts for statecharts: A semantic foundation;Transformation-Based Reactive Systems Development;1997