Affiliation:
1. Department of Mathematics and Computer Science; Eindhoven University of Technology; PO Box 513, 5600 MB Eindhoven The Netherlands
Subject
Safety, Risk, Reliability and Quality,Software
Reference33 articles.
1. Formal methods for industrial critical systems Conference Proceedings 1996 2014
2. Formal Methods in System Design Journal, vol. 1-44, Springer Verlag, 1992 2014
3. Software testability: the new verification;Voas;IEEE Software,1995
4. Protocol verification using reachability analysis: The state space explosion problem and relief strategies;Lin;ACM SIGCOMM Computer Communication Review,1987
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献