Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Visualization of Formal Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
From conditional specifications to interaction charts
Formal Methods in Software and Systems Modeling
Hi-index | 0.00 |