Marcin Szpyrka

From MaRDI portal
Person:862529

Available identifiers

zbMath Open szpyrka.marcinMaRDI QIDQ862529

List of research outcomes





PublicationDate of PublicationType
Tools and Methods for RTCP-Nets Modeling and Verification2020-10-12Paper
Evaluation of cyber security and modelling of risk propagation with Petri nets2019-11-13Paper
Formal Description of Alvis Language with α0 System Layer2014-04-25Paper
https://portal.mardi4nfdi.de/entity/Q30709102011-01-28Paper
https://portal.mardi4nfdi.de/entity/Q51929202009-08-10Paper
Design and analysis of rule-based systems with Adder Designer2008-08-26Paper
https://portal.mardi4nfdi.de/entity/Q53070282007-09-25Paper
Analysis of VME-bus communication protocol -- RTCP-net approach2007-01-24Paper
Analysis of RTCP-nets with reachability graphs2007-01-19Paper
Artificial Intelligence and Soft Computing - ICAISC 20042005-04-12Paper

Research outcomes over time

This page was built for person: Marcin Szpyrka

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:862529&oldid=7674776"
Powered by MediaWiki