Author:
van Beek D. A.,Fokkink W. J.,Hendriks D.,Hofkamp A.,Markovski J.,van de Mortel-Fronczak J. M.,Reniers M. A.
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science 138(1), 3–34 (1995)
2. Lecture Notes in Computer Science;R. Alur,2000
3. van Beek, D.A., Hendriks, D., Swartjes, L., Reniers, M.A.: Report on the extensions of the CIF and transformation algorithms. Technical Report HYCON Deliverable D6.2.4 (2013)
4. van Beek, D.A., Reniers, M.A., Rooda, J.E., Schiffelers, R.R.H.: Concrete syntax and semantics of the Compositional Interchange Format for hybrid systems. In: IFAC World Congress 2008, pp. 7979–7986, IFAC (2008)
5. Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer (2007)
Cited by
54 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献