Szczegóły publikacji

Opis bibliograficzny

Formal verification of embedded systems using the Alvis approach / Leszek KOTULSKI, Marcin SZPYRKA // Key Engineering Materials ; ISSN 1013-9826. — 2011 — vol. 486 spec. iss., s. 209–212. — Bibliogr. s. 212, Abstr. — Zastosowano procedurę peer review. — Advanced design and manufacture IV / guest eds. Daizhong Su, Kai Xue, Shifan Zhu

Autorzy (2)

Słowa kluczowe

graphical modellingembedded systemsformal verification

Dane bibliometryczne

ID BaDAP62446
Data dodania do BaDAP2011-11-28
Tekst źródłowyURL
DOI10.4028/www.scientific.net/KEM.486.209
Rok publikacji2011
Typ publikacjireferat w czasopiśmie
Otwarty dostęptak
Czasopismo/seriaKey Engineering Materials

Publikacje, które mogą Cię zainteresować

fragment książki
#114874Data dodania: 12.7.2018
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ółyLink
artykuł
#121371Data dodania: 7.5.2019
Cross modeling of embedded systems using SysML and Petri Nets / Wojciech SZMUC, Tomasz SZMUC // International Journal of Microelectronics and Computer Science ; ISSN 2080-8755. — 2018 — vol. 9 no. 2, s. 60–65. — Bibliogr. s. 64–65, Abstr.
SzczegółyLink