Formal agent-oriented modeling with UML and graph transformation
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Formal Visual Modelling of Human Agents in Service Oriented Systems
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Stochastic simulation of graph transformation systems
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Hi-index | 0.00 |