Author:
Furfaro Angelo,Nigro Libero,Pupo Francesco
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Control and Optimization,Computer Networks and Communications,Computer Science Applications,Modeling and Simulation,Control and Systems Engineering
Reference32 articles.
1. Alur, R. and Dill, D. 1994. A theory of timed automata. Theoretical Computer Science, 126(2): 183–235.
2. Behrmann, G., David, A. and Larsen, K. G. 2004. A tutorial on Uppaal. In Formal Methods for the Design of Real-Time Systems, M. Bernardo and F. Corradini (eds.), LNCS 3185, Springer, pp. 200–236.
3. Bengtsson, J. and Yi, W. 2004. Timed automata: Semantics, algorithms and tools. In Lectures on Concurrency and Petri Nets: Advances in Petri Nets, J. Desel, W. Reisig and G. Rozenberg (eds.), LNCS 3098, Springer.
4. Burns, A. 2003. How to verify a safe real-time system: The application of model checking and timed automata to the production cell case study. Real-Time Systems, 24(2): 135–151.
5. Buttazzo, G. C. 2005. Hard Real-Time Computing Systems, vol. 23 of Real-Time Systems Series, 2nd edition, Springer.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献