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
Exploiting Formality in Software Engineering
SOFSEM '99 Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics on Theory and Practice of Informatics
Formal modeling in a commercial setting: a case study
Journal of Systems and Software
Lessons learned from rigorous system software development
Information and Software Technology
Hi-index | 0.00 |