Author:
Chadli Mounir,Kim Jin Hyun,Legay Axel,Traonouez Louis-Marie,Naujokat Stefan,Steffen Bernhard,Larsen Kim Guldstrand
Publisher
Springer International Publishing
Reference12 articles.
1. Beauquier, D.: On probabilistic timed automata. Theort. Comput. Sci. 292(1), 65–84 (2003)
2. Behrmann, G., David, A., Larsen, K.G., Håkansson, J., Pettersson, P., Yi, W., Hendriks, M.: UPPAAL 4.0. In: QEST, pp. 125–126 (2006)
3. Lecture Notes in Computer Science;A Boudjadar,2014
4. Lecture Notes in Computer Science;A Boudjadar,2015
5. Bulychev, P.E., David, A., Larsen, K.G., Mikucionis, M., Poulsen, D.B., Legay, A., Wang, Z.: UPPAAL-SMC: statistical model checking for priced timed automata. In: QAPL, EPTCS, vol. 85, pp. 1–16 (2012)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Hierarchical Scheduling;Handbook of Real-Time Computing;2022
2. A Survey of Statistical Model Checking;ACM Transactions on Modeling and Computer Simulation;2018-01-31
3. High-level frameworks for the specification and verification of scheduling problems;International Journal on Software Tools for Technology Transfer;2017-09-04
4. CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools;International Journal on Software Tools for Technology Transfer;2017-05-12