doktorant
Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering WEAIiIB-kis
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
Simulation of multi-agent systems with Alvis Toolkit / Marcin SZPYRKA, Piotr Matysiak, Łukasz PODOLSKI, Michał WYPYCH // W: Artificial Intelligence and Soft Computing : 16th International Conference : ICAISC 2017 Zakopane, Poland, June 11–15, 2017 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Switzerland : Springer International Publishing, cop. 2017. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 10246. Lecture Notes in Artificial Intelligence). — Toż na Dysku Flash. — ISBN: 978-3-319-59059-2 ; e-ISBN: 978-3-319-59060-8. — S. 599–608. — Bibliogr. s. 607–608, Abstr.
keywords: multi-agent systems, simulation, Alvis language, Alvis Toolkit, AI systems
cyfrowy identyfikator dokumentu: 10.1007/978-3-319-59060-8_54