Author:
Bengtsson Johan,Griffioen W. O. David,Kristoffersen Kåre J.,Larsen Kim G.,Larsson Fredrik,Pettersson Paul,Yi Wang
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. R. Alur and D. Dill. Automata for Modelling Real-Time Systems. In Proc. of ICALP'90, LNCS 443, 1990.
2. Johan Bengtsson and Fredrik Larsson. Uppaal a Tool for Automatic Verification of Real-time Systems, Master's thesis, Uppsala University, 1996.
3. Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. Uppaal — a Tool Suite for Automatic Verification of Real-Time Systems. In Proc. of the 4th DIMACS Workshop on Verification and Control of Hybrid Systems, 1995. To appear in LNCS, 1996.
4. D.J.B. Bosscher, I. Polak, and F.W. Vaandrager. Verification of an Audio-Control Protocol. In Proc. of FTRTFT'94, LNCS 863, pages 170–192, 1994.
5. C. Daws and S. Yovine. Two examples of verification of multirate timed automata with Kronos. In Proc. of the 16th IEEE Real-Time Systems Symposium, pages 66–75, December 1995.
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献