Formal Specification and Prototyping of CORBA Systems
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
The Description of CORBA Objects Based on Petri Nets
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
IBDL: a language for interface behavior specification and testing
COOTS'98 Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 4
Standardized languages for telecommunication systems
Computer Standards & Interfaces
Hi-index | 0.00 |