Lazy buffer semantics for partial order scenarios
Automated Software Engineering
Modeling and analysis of value added services using message sequence charts
Journal of Network and Computer Applications
Verifying Communication Protocols Using Live Sequence Chart Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards weak sequencing for E-LOTOS
Computer Standards & Interfaces
Toward Extracting π-calculus from UML Sequence and State Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
Early Verification of Computer Systems Temporal Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of Scenario-based Specifications using Templates
Electronic Notes in Theoretical Computer Science (ENTCS)
An extension for MSC-2000 and its application
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Semantics of UML models for dynamic behavior: a survey of different approaches
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Symbolic Message Sequence Charts
ACM Transactions on Software Engineering and Methodology (TOSEM)
FM'06 Proceedings of the 14th international conference on Formal Methods
Timed high-level message sequence charts for real-time system design
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
Formally defining a graphical language for monitoring and checking object interactions
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
An interleaving semantics for UML 2 interactions using Petri nets
Information Sciences: an International Journal
Hi-index | 0.00 |