Author:
Droschl G,Kuhn W,Sonneck G,Thuswald M
Subject
Public Health, Environmental and Occupational Health,Safety Research,Safety, Risk, Reliability and Quality
Reference23 articles.
1. The B-Book: Assigning Programs to Meanings;Abrial,1996
2. Abrial, J.-R., 1999. System Study: Method and Example. Unpublished.
3. Behm, P., Benoit, P., Faivre, A., Meynadier, J.-M., 1999. METEOR: A successful application of B in a large project. In: Wing, J.M., Woodcock, J., Davies, J. (Eds.). Proceedings of FM'99—World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, Number 1708/1709 in Lecture Notes in Computer Science, Springer-Verlag, pp. 369-387.
4. Bicarregui, J., Dick, J., Woods, E., 1996. Quantitative analysis of an application of formal methods. In: Gaudel, M.-C., Woodcock, J. (Eds.). Proceedings of FME'96: Industrial Benefits and Advances in Formal Methods, Volume 1051 of Lecture Notes in Computer Science, Springer-Verlag, pp. 60.
5. Formal and informal specifications of a secure system component: final results in a comparative study;Brookes,1996
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献