doktorant
Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej WEAIiIB-kis, Katedra Informatyki Stosowanej
ORCID: brak
ResearcherID: brak
Scopus: 57194564795
Discrete-time systems modeling and verification with Alvis language and tools / Marcin SZPYRKA, Michał WYPYCH, Jerzy BIERNACKI, Łukasz PODOLSKI // IEEE Access [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2169-3536. — 2018 vol. 6, s. 78766–78779. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 78778–78779, Abstr.. — Publikacja dostępna online od: 2018-12-06. — tekst: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8565865
keywords: system verification, concurrency control, discrete time systems, formal languages, system analysis and design
Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Michał Wypych, Jerzy Biernacki
cyfrowy identyfikator dokumentu: 10.1109/ACCESS.2018.2885249
Modelling and verification of real-time systems with Alvis / Marcin SZPYRKA, Łukasz PODOLSKI, Michał WYPYCH // W: Towards a synergistic combination of research and practice in software engineering : 19th KKIO software engineering conference (KKIO) : Rzeszow, Poland, September 14-16, 2017. — Switzerland : Springer, cop. 2018. — (Studies in Computational Intelligence ; ISSN 1860-949X ; vol. 733). — ISBN: 978-3-319-65207-8 ; e-ISBN: 978-3-319-65208-5. — S. 165–178. — Bibliogr. s. 178, Abstr.
brak zdefiniowanych słów kluczowych
Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Michał Wypych
cyfrowy identyfikator dokumentu: 10.1007/978-3-319-65208-5_12