Compositional Refinement of Interactive Systems Modelled by Relations
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
A Logical Basis for Modular Software and Systems Engineering
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Development of communication protocols using algebraic and temporal specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control
Model-Driven Development of Reliable Automotive Services
Time, Abstraction, Causality and Modularity in Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |