doktorant
Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej WEAIiIB-kis, Katedra Informatyki Stosowanej
ORCID: brak
ResearcherID: brak
Scopus: brak
keywords: Alvis language, hierarchical communication diagrams, flat representation, analysis operation, synthesis operation
Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Piotr Matyasik, Leszek Kotulski, Michał Wypych, Jerzy Biernacki
cyfrowy identyfikator dokumentu:
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: model checking, Petri nets, RTCP-nets, nuXmv, CADP, coverability graphs
Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Jerzy Biernacki
cyfrowy identyfikator dokumentu: 10.1515/acsc-2016-0019