Formal Specification and Prototyping of Multi-agent Systems
ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
Developing BON as an Industrial-Strength Formal Method
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Formal interpreters for diagram notations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Analyzing static and temporal properties of simulation models
Proceedings of the 38th conference on Winter simulation
Formal driven prototyping approach for multiagent systems
International Journal of Agent-Oriented Software Engineering
A framework for specification and validation of real-time systems using circus actions
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
On the integration of formal methods: events and Scenarios in PVS and VDM
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
| Hi-index | 0.00 |