Formalizing and integrating the dynamic model for object-oriented modeling
IEEE Transactions on Software Engineering
An open animation tool: application to telecommunication systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Protocol animation
Using semi-formal methods for detecting interactions among smart homes policies
Science of Computer Programming
A formal approach to service interaction detection in mobile networks
SEPADS'11 Proceedings of the 10th WSEAS international conference on Software engineering, parallel and distributed systems
Hi-index | 0.00 |