( en | de | ru )

 

Disambiguierung von "Fisher, Michael"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Extending Attack-Fault Trees with Runtime Verification.

, , und . FMAS/ASYDE@SEFM, Volume 371 von EPTCS, Seite 193-207. (2022)

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.

Paul Fisher

André Fisher

Angelika Fisher

Robert Fisher

Robert Fisher

 

Weitere Publikationen von Autoren mit dem selben Namen

Continuing research in multi-agent systems., , , und . Knowl. Eng. Rev., 14 (3): 279-283 (1999)Towards a framework for certification of reliable autonomous systems., , , , , und . Auton. Agents Multi Agent Syst., 35 (1): 8 (2021)Extending Attack-Fault Trees with Runtime Verification., , und . FMAS/ASYDE@SEFM, Volume 371 von EPTCS, Seite 193-207. (2022)Agent Based Approaches to Engineering Autonomous Space Software, , , , und . FMA, Volume 20 von EPTCS, Seite 63-67. (2009)Towards Compositional Verification for Modular Robotic Systems., , , , und . FMAS, Volume 329 von EPTCS, Seite 15-22. (2020)Monodic temporal resolution., , und . ACM Trans. Comput. Log., 7 (1): 108-150 (2006)Model checking agentspeak., , , und . AAMAS, Seite 409-416. ACM, (2003)A Brief History and Progress of Mountain Cartography in Canada., , , und . Cartogr. Int. J. Geogr. Inf. Geovisualization, 38 (1): 31-39 (2001)Tableaux for Synchronous Systems of Knowledge and Time with Interactions., und . SCAI, Volume 40 von Frontiers in Artificial Intelligence and Applications, Seite 28-39. IOS Press, (1997)Towards First-Order Temporal Resolution., und . KI/ÖGAI, Volume 2174 von Lecture Notes in Computer Science, Seite 18-32. Springer, (2001)