Szczegóły publikacji

Opis bibliograficzny

Formal verification of real-time systems developed for single-processor platform with Alvis / Jarosław BANIEWICZ, Marcin SZPYRKA // W: MIXDES 2019 : Mixed Design of integrated circuits and systems : Rzeszów, Poland, June 27–29, 2019 : book of abstracts of 26th international conference / ed. by Andrzej Napieralski. — Łódź : Department of Microelectronics and Computer Science. Lodz University of Technology, cop. 2019. — ISBN podany dla pełnego tekstu. — ISBN: 978-83-63578-15-2. — S. 129

Autorzy (2)

Dane bibliometryczne

ID BaDAP122644
Data dodania do BaDAP2019-07-03
Rok publikacji2019
Typ publikacjimateriały konferencyjne (aut.)
Otwarty dostęptak
WydawcaPolitechnika Łódzka

Publikacje, które mogą Cię zainteresować

fragment książki
Towards embedded systems formal verification / Wojciech SZMUC, Tomasz SZMUC // W: MIXDES 2018 [Dokument elektroniczny] : Mixed Design of integrated circuits and systems : book of abstracts of 25th international conference : Gdynia, Poland, June 21–23, 2018 / ed. by Andrzej Napieralski. — Wersja do Windows. — Dane tekstowe. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2018. — ISBN na podstawie bazy Web of Science. — ISBN: 978-8-3635-7814-5. — S. 120. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: https://www.mixdes.org/downloads/MIXDES2018_BoA.pdf [2018-06-28]. — Bibliogr. s. 120. — Pełny tekst dostępny online: https://ieeexplore-1ieee-1org-1000047w20065.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp=&arnumber=8436870 [2018-11-23]. — S. 420–423. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 423, Abstr.
Szczegóły
fragment książki
Comparative analysis of methods and tools for formal modelling and verification for embedded systems : probabilistic approach / Marek Zbigniew GOLONKA // W: MIXDES 2021 [Dokument elektroniczny] : Mixed Design of Integrated Circuits and Systems : book of abstracts of 28th international conference : Łódź, Poland June 24 – 26, 2021 / ed. by Andrzej Napieralski ; Lodz University of Technology, [etc.]. — Wersja do Windows. — Dane tekstowe. — Łódź : Lodz University of Technology, cop. 2021. — e-ISBN: 978-83-63578-19-0. — S. 87. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: https://www.mixdes.org/downloads/MIXDES2021_BoA.pdf [2021-06-23]. — Pełny tekst w: https://www.mixdes.org/downloads/MIXDES2021.pdf [2021-07-27]. — S. 265--273. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 273, Abstr. — ISBN: 978-83-63578-19-0. — Toż. w: https://ieeexplore-1ieee-1org-10000478900f4.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp=&arnumber=9497642 [2021-09-30]
Szczegóły