( en | de | ru )

 

Disambiguierung von "Matyasik, Piotr"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation.

, , und . CS&P, Volume 1032 von CEUR Workshop Proceedings, Seite 409-420. CEUR-WS.org, (2013)

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.

Sven Piotrowiak

Katja Piotrowski

Heinz Piotrowski

Jens Piotraschke

Berthold Piotrowski

 

Weitere Publikationen von Autoren mit dem selben Namen

Alvis - Modelling Language for Concurrent Systems., , und . Intelligent Decision Systems in Large-Scale Distributed Environments, Volume 362 von Studies in Computational Intelligence, Springer, (2011)Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation., , und . CS&P, Volume 1032 von CEUR Workshop Proceedings, Seite 409-420. CEUR-WS.org, (2013)Simulation of Multi-agent Systems with Alvis Toolkit., , , und . ICAISC (2), Volume 10246 von Lecture Notes in Computer Science, Seite 599-608. Springer, (2017)RobustHX - The Robust Middleware Library for Hexor Robots., und . SIMPAR, Volume 6472 von Lecture Notes in Computer Science, Seite 241-250. Springer, (2010)Robust PI - The Simulation Robust Library Component for Pioneer 3DX., und . MATES, Volume 8076 von Lecture Notes in Computer Science, Seite 115-123. Springer, (2013)Prolog-Based Real-Time Intelligent Control of the Hexor Mobile Robot., , und . KI, Volume 4667 von Lecture Notes in Computer Science, Seite 485-488. Springer, (2007)Formal Modelling and Verification of Concurrent Systems with XCCS., und . ISPDC, Seite 454-458. IEEE Computer Society, (2008)Alvis Virtual Machine.. FedCSIS, Volume 2 von Annals of Computer Science and Information Systems, Seite 1639-1645. (2014)Practical Approach To Modelling And Verification Of Concurrent Systems With ALVIS., , und . ECMS, Seite 539-545. European Council for Modeling and Simulation, (2011)Formal Description of Alvis Language with α0 System Layer., , , und . Fundam. Informaticae, 129 (1-2): 161-176 (2014)