Author:
Chang Chuei-Tin,Lee Hao-Yeh,Adi Vincentius Surya Kurnia
Publisher
Springer International Publishing
Reference5 articles.
1. Alur R, Dill DL (1994) A theory of timed automata. Theor Comp Sci 126:183–235
2. Behrmann G, David A, Larsen KG (2004) A tutorial on UPPAAL. In Formal methods for the design of real-time systems (pp. 200–236). Springer, Berlin, Heidelberg
3. Behrmann G, David A, Larsen KG (2006) A Tutorial on Uppaal 4.0,.Department of Computer Science, Aalborg University, Denmark
4. Cassandras CG, Lafortune S (2008) Introduction to Discrete Event Systems, 2nd edn. Springer Science+Business Media, New York
5. Zhang CR, Yeh CY, Chang CT (2020) Synthesis, validation, and evaluation of operating procedures based on timed automata and dynamic simulation. Ind Eng Chem Res 59(18):8769–8782