Autor der Publikation

Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue.

, und . J. UCS, 7 (11): 914-916 (2001)

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

CoreASM Plug-In Architecture., , , und . Rigorous Methods for Software Construction and Analysis, Volume 5115 von Lecture Notes in Computer Science, Seite 147-169. Springer, (2009)A Collaborative Decision Support Model for Marine Safety and Security Operations., , , , und . DIPES/BICC, Volume 329 von IFIP Advances in Information and Communication Technology, Seite 266-277. Springer, (2010)Maritime situation analysis., , , und . ISI, Seite 230-232. IEEE, (2013)GENIUS: A computational modeling framework for counter-terrorism planning and response., , , und . ISI, Seite 71-76. IEEE, (2010)Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract State Machines., , , , und . Abstract State Machines, Seite 101-118. (2005)Refactoring Abstract State Machine Models., , und . ABZ, Volume 7316 von Lecture Notes in Computer Science, Seite 345-348. Springer, (2012)Intelligent decision support for emergency responses., , , , und . ISCRAM, Simon Fraser University, Vancouver, Canada, (2012)Maritime situation analysis framework: Vessel interaction classification and anomaly detection., , , und . BigData, Seite 1279-1289. IEEE Computer Society, (2015)ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks., und . SDL Forum, Volume 3530 von Lecture Notes in Computer Science, Seite 162-173. Springer, (2005)Towards a new formal SDL semantics - outline of an abstract state machines., , und . SDL Forum, Seite 171-192. Elsevier, (1999)