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
Mixed Formal Specifications with PVS
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Formal Specification and Proof Techniques for Mixed Systems
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
| Hi-index | 0.00 |