The impact of requirements changes on specifications and state machines
Software—Practice & Experience
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Applying string-rewriting to sequence-based specification
Formal Methods in System Design
Hi-index | 0.00 |