Formal methods for broadband and multimedia systems (tutorial)
ICSE '97 Proceedings of the 19th international conference on Software engineering
A Formal Model for SDL Specifications Based on Timed Rewriting Logic
Automated Software Engineering
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Performance modelling of a network processor using POOSL
Computer Networks: The International Journal of Computer and Telecommunications Networking - Network processors
UML for real-time: which native concepts to use?
UML for real
Platform-independent design for embedded real-time systems
Languages for system specification
A method for analysing multimedia protocol performance
Journal of Systems and Software
Quality of service aware distributed object systems
COOTS'99 Proceedings of the 5th conference on USENIX Conference on Object-Oriented Technologies & Systems - Volume 5
Quality of services specification in distributed object systems design
COOTS'98 Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 4
A real-time profile for UML and how to adapt it to SDL
SDL'03 Proceedings of the 11th international conference on System design
RMTP2: validating the interval timed extension for SDL with an industrial-size multicast protocol
SDL'03 Proceedings of the 11th international conference on System design
Expression of time and duration constraints in SDL
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Object-oriented modelling and specification using SHE
Computer Languages
Hi-index | 0.00 |