Completeness in formal specification language design for process-control systems
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Automatic Construction of XML-Based Tools Seen as Meta-Programming
Automated Software Engineering
Development of communication protocols using algebraic and temporal specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking
Modeling sociotechnical specifics using architectural concepts
Proceedings of the 2004 ACM symposium on Applied computing
A Heterogeneous Approach to UML Semantics
Concurrency, Graphs and Models
Hi-index | 0.00 |