Author:
Baeten J.C.M.,van Beek D.A.,Cuijpers P.J.L.,Reniers M.A.,Rooda J.E.,Schiffelers R.R.H.,Theunissen R.J.M.
Subject
General Computer Science,Theoretical Computer Science
Reference24 articles.
1. Process Algebra with Timing;Baeten,2002
2. Beek, D.A. v., A. v. d. Ham and J.E. Rooda, Modelling and control of process industry batch production systems, in: E. Camacho, L. Basanez and J. de la Puente, editors, 15th Triennial World Congress of the International Federation of Automatic Control, Barcelona, 2002, CD-ROM
3. Beek, D.A. v., K. Man, M.A. Reniers, J.E. Rooda and R.R.H. Schiffelers, Deriving simulators for hybrid Chi models, in: IEEE International Symposium on Computer-Aided Control Systems Design (2006), pp. 42–49
4. Beek, D.A. v., K. Man, M.A. Reniers, J.E. Rooda and R.R.H. Schiffelers, Formal verification of hybrid Chi models using PHAVer, in: Proceedings of the conference on Mathematical Modelling 2006, Vienna, Austria, 2006
5. Syntax and consistent equation semantics of hybrid Chi;v. Beek;Journal of Logic and Algebraic Programming,2006
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Scenarios in the Design of Flexible Manufacturing Systems;System-Scenario-based Design Principles and Applications;2020
2. Verification of Hybrid Chi Model for Cyber-physical Systems Using PHAVer;2013 Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing;2013-07
3. Modeling security in cyber–physical systems;International Journal of Critical Infrastructure Protection;2012-12
4. Combining Control and Data Abstraction in the Verification of Hybrid Systems;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2010-10