Formal specification and validation at work: a case study using VDM-SL
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
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
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
Hi-index | 0.00 |