Experience with Formal Methods in Critical Systems
IEEE Software
Specification and Validation of a Security Policy Model
IEEE Transactions on Software Engineering
Specifying a Safety-Critical Control System in Z
IEEE Transactions on Software Engineering
Formalizing style to understand descriptions of software architecture
ACM Transactions on Software Engineering and Methodology (TOSEM)
Observations on industrial practice using formal methods
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Formal specification techniques (extended abstract)
ICSE '94 Proceedings of the 16th international conference on Software engineering
A Formal Specification of an Oscilloscope
IEEE Software
Advantages and limits of formal approaches for ultra-high dependability
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Challenges in the successful transfer of formal methods technology into industrial applications
Information and Software Technology
| Hi-index | 0.00 |