Engineering real time systems: an object-oriented methodology using SDL
Engineering real time systems: an object-oriented methodology using SDL
Computer Networks and ISDN Systems - Special issue on SDL and MSC
Applying the architectural semantics of ODP to develop a trader specification
Computer Networks and ISDN Systems - Special issue: specification architecture
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Systems Engineering Using SDL-92
Systems Engineering Using SDL-92
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
Engineering Telecommunication Services With SDL
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Different FDT's Confronted with Different ODP-Viewpoints of the Trader
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
An Object-Oriented Approach to the Formal Specification of ODP Trader
Proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processing II
Creating Telecommunication Services based on Object-Oriented Frameworks and SDL
ISORC '99 Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Hi-index | 0.00 |