Formalizing space shuttle software requirements: four case studies
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Formal modeling in a commercial setting: a case study
Journal of Systems and Software
VDMTools: advances in support for formal modeling in VDM
ACM SIGPLAN Notices
Recent industrial applications of VDM in Japan
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
Hi-index | 0.00 |