Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Argote-Garcia, G., Clarke, P.J., He, X., Fu, Y., Shi, L.: A Formal Approach for Translating a SAM Architecture to PROMELA. In: SEKE, pp. 440–447 (2008)
2. Butler, M., Yadav, D.: An incremental development of the Mondex system in Event-B. Form. Asp. Comput. 20(1), 61–77 (2007)
3. Grand Challenges in Computer Research, United Kingdom Computing Research Committee (2008),
http://www.ukcrc.org.uk/grand_challenges/index.cfm
4. Freitas, L., Woodcock, J.: Mechanising Mondex with Z/Eves. Form. Asp. Comput. 20(1), 117–139 (2007)
5. Gannod, G.C., Gupta, S.: An Automated Tool for Analyzing Petri Nets Using SPIN. In: ASE 2001: Proceedings of the 16th IEEE international conference on Automated software engineering, Washington, DC, USA, 2001, p. 404. IEEE Computer Society, Los Alamitos (2001)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Term Rewriting Approach to Analyze High Level Petri Nets;2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE);2016-07
2. Bounded Model Checking High Level Petri Nets in PIPE+Verifier;Formal Methods and Software Engineering;2014