Wykaz publikacji wybranego autora

Wojciech Szmuc, dr inż.

adiunkt

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

  • 2018

    [dyscyplina 1] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja

[poprzednia klasyfikacja] obszar nauk technicznych / dziedzina nauk technicznych / informatyka

Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0003-0247-6507 orcid iD

ResearcherID: brak

Scopus: 36626711900

PBN: 5e70922c878c28a047391202

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1

  • Consistency preserving development of embedded systems using AADL / Tomasz SZMUC, Wojciech SZMUC // W: MIXDES 2020 [Dokument elektroniczny] : proceedings of 27\textsuperscript{th} international conference Mixed Design of integrated circuits and systems : Łódź, Poland, June 25–27, 2020 / ed. by Andrzej Napieralski. — Wersja do Windows. — Dane tekstowe. — Łódź : Lodz University of Technology, cop. 2020. — Dod. e-ISBN: 978-83-63578-18-3 ; Print on Demand(PoD) ISBN: 978-1-7281-9781-4. — e-ISBN: 978-83-63578-17-6. — S. 245–248. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: https://www.mixdes.org/downloads/MIXDES2020.pdf [2020-08-27]. — Bibliogr. s. 248, Abstr.. — Publikacja dostępna online od: 2020-08-04. — Toż po adresem {https://ieeexplore-1ieee-1org-1000047s4002e.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp==9155806}

    orcid iD

  • keywords: embedded systems, temporal logic verification, translation into CPN, AADL

    Zobacz pełny wykaz publikacji Autora/Autorw: Tomasz Bartłomiej Szmuc

    cyfrowy identyfikator dokumentu:

2

  • Rigorous development of embedded systems supported by formal tools / Tomasz SZMUC, Wojciech SZMUC // W: MIXDES 2020 [Dokument elektroniczny] : proceedings of 27\textsuperscript{th} international conference Mixed Design of integrated circuits and systems : Łódź, Poland, June 25–27, 2020 / ed. by Andrzej Napieralski. — Wersja do Windows. — Dane tekstowe. — Łódź : Lodz University of Technology, cop. 2020. — Dod. e-ISBN: 978-83-63578-18-3 ; Print on Demand(PoD) ISBN: 978-1-7281-9781-4. — e-ISBN: 978-83-63578-17-6. — S. 272–276. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: https://www.mixdes.org/downloads/MIXDES2020.pdf [2020-08-27]. — Bibliogr. s. 276, Abstr.. — Publikacja dostępna online od: 2020-08-04. — Toż pod adresem {https://ieeexplore-1ieee-1org-1000047s4002e.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp==9155782}

    orcid iD

  • keywords: embedded systems, temporal logic verification, translation into formal models

    Zobacz pełny wykaz publikacji Autora/Autorw: Tomasz Bartłomiej Szmuc

    cyfrowy identyfikator dokumentu: