Author:
Bengtsson Johan,David Griffioen W.O.,Kristoffersen Kåre J.,Larsen Kim G.,Larsson Fredrik,Pettersson Paul,Yi Wang
Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference24 articles.
1. Uppaal—Now, next, and future;Amnell,2001
2. Automata for modelling real-time systems;Alur,1990
3. Timing analysis in COSPAN;Alur,1995
4. Verification of an audio protocol with bus collision using Uppaal;Bengtsson,1996
5. J. Bengtsson, F. Larsson, Uppaal a tool for automatic verification of real-time systems, Master’s thesis, Uppsala University, 1996. Available from http://www.docs.uu.se/docs/rtmv/bl-report.pdf
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献