Autor der Publikation

Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem.

, , und . FASE, Volume 1783 von Lecture Notes in Computer Science, Seite 222-236. Springer, (2000)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Multi-Agent Environment for Modelling and Solving Dynamic Transport Problems., , , und . Comput. Informatics, 28 (3): 277-298 (2009)Holonic Multiagent Multilevel Simulation: Application to Real-Time Pedestrian Simulation in Urban Environment., , , und . IJCAI, Seite 1275-1280. (2007)A Formal Specification of M-Agent Architecture., , , und . CEEMAS, Volume 2296 von Lecture Notes in Computer Science, Seite 62-72. Springer, (2001)A Mechanism for Dynamic Role Playing., , und . Agent Technologies, Infrastructures, Tools, and Applications for E-Services, Volume 2592 von Lecture Notes in Computer Science, Seite 36-48. Springer, (2002)A formal framework for multi-agent systems analysis and design, , , und . Expert Systems with Applications, 23 (4): 349--355 (November 2002)A Holonic Approach to Model and Deploy Large Scale Simulations., , und . MABS, Volume 4442 von Lecture Notes in Computer Science, Seite 112-127. Springer, (2006)Genetic Algorithms as Prototyping Tools for Multi-Agent Systems: Application to the Antenna Parameter Setting Problem., , , und . IATA, Volume 1437 von Lecture Notes in Computer Science, Seite 17-28. Springer, (1998)An Evolutionary Approach to Pickup and Delivery Problem with Time Windows., , , und . International Conference on Computational Science, Volume 3038 von Lecture Notes in Computer Science, Seite 1102-1108. Springer, (2004)Multi-agent Approach to Dynamic Pick-up and Delivery Problem with Uncertain Knowledge about Future Transport Demands., , , und . Fundam. Informaticae, 71 (1): 27-36 (2006)Formal Specification Approach of Role Dynamics in Agent Organisations: Application to the Satisfaction-Altruism Model., , , und . International Journal of Software Engineering and Knowledge Engineering, 17 (5): 615-641 (2007)