Subject
Hardware and Architecture,Software
Reference82 articles.
1. A case study of toyota unintended acceleration and software safety;Koopman;Presentation,2014
2. R. Alur, C. Courcoubetis, D. Dill, Model-checking for real-time systems, in: Proc. of the IEEE Symposium on Logic in Computer Science, 1990, pp. 414–425, http://dx.doi.org/10.1109/LICS.1990.113766.
3. E.M. Clarke, Model checking, in: Proc. of the International Conference on Foundations of Software Technology and Theoretical Computer Science, 1997, pp. 54–56, http://dx.doi.org/10.1007/BFb0058022.
4. UPPAAL in a nutshell;Larsen;Int. J. Softw. Tools Technol. Transf.,1997
5. R. Alur, D. Dill, The theory of timed automata, in: Proc. of the REX Workshop Real-Time: Theory in Practice, 1991, pp. 45–73, http://dx.doi.org/10.1007/BFb0031987.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献