Szczegóły publikacji

Opis bibliograficzny

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.

Autorzy (2)

Słowa kluczowe

cross modellingformal verificationembedded systems

Dane bibliometryczne

ID BaDAP121371
Data dodania do BaDAP2019-05-07
Tekst źródłowyURL
Rok publikacji2018
Typ publikacjiartykuł w czasopiśmie
Otwarty dostęptak
Creative Commons
Czasopismo/seriaInternational Journal of Microelectronics and Computer Science

Publikacje, które mogą Cię zainteresować

artykuł
#62446Data dodania: 28.11.2011
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
SzczegółyLink
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