Publisher
Springer Science and Business Media LLC
Subject
Mechanical Engineering,General Engineering,Aerospace Engineering,Automotive Engineering,Industrial and Manufacturing Engineering,Applied Mathematics
Reference29 articles.
1. Adiego BF, Darvas D, Vinuela EB, Tournier J-C, Suárez VMG, Blech JO (2014) Modelling and formal verification of timing aspects in large PLC. Proc IFAC World Congr 47(3):3333–3339
2. Alur R (1999) Timed automata. In: Computer aided verification pp 8–22
3. Alur R, Dill D (1990). Automata for modeling real-time systems. In: Proceedings of the 17th international colloquium on automata languages and programming. Springer, Berlin, pp 322–335
4. Alur R, Courcoubetis C, Dill D (1993) Model-checking in dense real-time. Inf Comput 104(1):2–34
5. Basu A, Bozga M, Sifakis J (2006) Modeling heterogeneous real-time components in BIP. In: Fourth IEEE International Conference on Software engineering and Formal Methods (SEFM). pp 3–12
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modelling cyber-physical systems: some issues and directions;IOP Conference Series: Materials Science and Engineering;2018-11-29
2. Formal Verification: Focused on the Verification Using a Plant Model;Innovation, Engineering and Entrepreneurship;2018-06-03