Semantics of Timed Message Sequence Charts
Cybernetics and Systems Analysis
Specifying telecommunications systems with UML
UML for real
Systems Specification by Basic Protocols
Cybernetics and Systems Analysis
Basic protocols, message sequence charts, and the verification of requirements specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Basic protocols, message sequence charts, and the verification of requirements specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Basic protocols: pecification language for distributed systems
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Predicate transformers in the context of symbolic modeling of transition systems
Cybernetics and Systems Analysis
Properties of a predicate transformer of the VRS system
Cybernetics and Systems Analysis
Semantics of message sequence charts
SDL'05 Proceedings of the 12th international conference on Model Driven
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Cybernetics and Systems Analysis
| Hi-index | 0.00 |