UML-B: Formal modeling and design aided by UML
ACM Transactions on Software Engineering and Methodology (TOSEM)
Precise scenarios: a customer-friendly foundation for formal specifications
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
Hi-index | 0.00 |
A story of zealotry and chicanery.