Wykaz publikacji wybranego autora

Łukasz Podolski, mgr inż.

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej

Identyfikatory Autora

ORCID: brak

ResearcherID: brak

Scopus: 57194564795

sortowanie:

1

[artykuł w czasopiśmie, 2018]

Tytuł	Discrete-time systems modeling and verification with Alvis language and tools
Autorzy	Marcin SZPYRKA, Michał WYPYCH, Jerzy BIERNACKI, Łukasz PODOLSKI
Źródło	IEEE Access [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2018 vol. 6, s. 78766–78779. — 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

2

[referat, 2018]

Tytuł	Modelling and verification of real-time systems with Alvis
Autorzy	Marcin SZPYRKA, Łukasz PODOLSKI, Michał WYPYCH
Źródło	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. — S. 165–178

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