doktorant
Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej WEAIiIB-kis, Katedra Informatyki Stosowanej
ORCID: brak
ResearcherID: brak
Scopus: brak
keywords: model checking, Petri nets, RTCP-nets, verification, formal models, CADP, my calculus
Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Jerzy Biernacki
cyfrowy identyfikator dokumentu: 10.1063/1.4938887
keywords: real time systems, concurrent systems, Alvis language, priorities of processes
Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Michał Wypych, Jerzy Biernacki
cyfrowy identyfikator dokumentu: 10.1109/MIXDES.2016.7529787
keywords: translation, model checking, Petri nets, RTCP-nets, verification, NuSMV, nuXmv, LTL, CTL
cyfrowy identyfikator dokumentu: 10.1063/1.4938888