( en | de | ru )

 

Disambiguierung von "Szpyrka, Marcin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Modelling and Verification of Real-Time Systems with Alvis.

, , und . KKIO Software Engineering Conference, Volume 733 von Studies in Computational Intelligence, Seite 165-178. Springer, (2017)

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.

Marcin Wlodarski

Marcin Siatkowski

Marcin Wlodarczak

Marcin Å0yszkiewicz

Marcin Teodorczyk

 

Weitere Publikationen von Autoren mit dem selben Namen

Prototypes of a Web System for Citizen Provided Information, Automatic Knowledge Extraction, Knowledge Management and GIS Integration., , , , , , , und . MCSS, Volume 149 von Communications in Computer and Information Science, Seite 268-276. Springer, (2011)Simulation of Multi-agent Systems with Alvis Toolkit., , , und . ICAISC (2), Volume 10246 von Lecture Notes in Computer Science, Seite 599-608. Springer, (2017)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)Formal Approach to Prototyping and Analysis of Modular Rule-Based Systems., und . Software Engineering: Evolution and Emerging Technologies, Volume 130 von Frontiers in Artificial Intelligence and Applications, IOS Press, (2005)Verification of Automatic Train Protection Systems with RTCP-Nets., und . SAFECOMP, Volume 4166 von Lecture Notes in Computer Science, Seite 344-357. Springer, (2006)Reduction of Tabular Systems., und . ICAISC, Volume 3070 von Lecture Notes in Computer Science, Seite 903-908. Springer, (2004)Network Anomaly Detection Using Parameterized Entropy., , , und . CISIM, Volume 8838 von Lecture Notes in Computer Science, Seite 465-478. Springer, (2014)Formal Modelling and Verification of Concurrent Systems with XCCS., und . ISPDC, Seite 454-458. IEEE Computer Society, (2008)Decision Tables in Petri Net Models., und . RSEISP, Volume 4585 von Lecture Notes in Computer Science, Seite 648-657. Springer, (2007)Alvis - Modelling Language for Concurrent Systems., , und . Intelligent Decision Systems in Large-Scale Distributed Environments, Volume 362 von Studies in Computational Intelligence, Springer, (2011)