A Formal Specification Framework for Object-Oriented Distributed Systems
IEEE Transactions on Software Engineering
From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
Prototyping object oriented specifications
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Network structure and traffic modeling and simulation with CO-OPN
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Hi-index | 0.00 |