The use of industrial-strength formal methods
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Developing BON as an Industrial-Strength Formal Method
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Formal Modeling in a Commercial Setting: A Case Study
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Formal modeling in a commercial setting: a case study
Journal of Systems and Software
Challenges in the successful transfer of formal methods technology into industrial applications
Information and Software Technology
| Hi-index | 0.01 |