Experience with Formal Methods in Critical Systems
IEEE Software
Observations on industrial practice using formal methods
ICSE '93 Proceedings of the 15th international conference on Software Engineering
SOFL: A Formal Engineering Methodology for Industrial Applications
IEEE Transactions on Software Engineering
Applying RT-Z to Develop Safety-Critical Systems
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Hi-index | 0.00 |