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: translation, model checking, Petri nets, RTCP-nets, verification, NuSMV, nuXmv, LTL, CTL
cyfrowy identyfikator dokumentu: 10.1063/1.4938888