Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
SC(R)3: towards usability of formal methods
CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
Programming and Computing Software
A model advisor for NuSMV specifications
Innovations in Systems and Software Engineering
Hi-index | 0.00 |