Formal methods for distributed processing
Automatic Synthesis of Agent Designs in UML
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Towards An Integration Of Message Sequence Charts And Timed Maude
Journal of Integrated Design & Process Science
Hi-index | 0.00 |