Generic Engineering of Communication Protocols - Current Experience and Future Issues
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Re-Engineering of the Internet Stream Protocol ST2+ with Formalized Design Patterns
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Developing safety-critical real-time systems with SDL design patterns and components
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Developing safety-critical real-time systems with SDL design patterns and components
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Validation and testing of sC++ applications
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
A flexible micro protocol framework
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
Hi-index | 0.00 |