Petri nets tools integration through Eclipse
eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
Capturing conflict and confusion in CSP
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Situation prediction nets: playing the token game for ontology-driven situation awareness
ER'10 Proceedings of the 29th international conference on Conceptual modeling
A simulation-based software design framework for network-centric and parallel systems
Programming Support Innovations for Emerging Distributed Applications
Making workflows situation aware: an ontology-driven framework for dynamic spatial systems
Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services
Adding conflict and confusion to CSP
FM'05 Proceedings of the 2005 international conference on Formal Methods
Managing petri nets in MOF repositories
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
| Hi-index | 0.00 |