Making Changes to Formal Specifications: Requirements and an Example
IEEE Transactions on Software Engineering
An inexact model matching approach and its applications
Journal of Systems and Software
Integrating process modelling and soft systems analysis
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Hi-index | 0.00 |