Generating finite state machines from abstract state machines
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Abstract Communication Model for Distributed Systems
IEEE Transactions on Software Engineering
Domain-Specific Language for HW/SW Co-design for FPGAs
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
Formal description of a distributed location service for mobile ad hoc networks
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Low-level dynamic system formation with high-level automation: extending UML in support of UPnP
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |