Wykaz publikacji wybranego autora

Konrad Zaworski, mgr inż.

asystent

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


Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-7157-6280 orcid iD

ResearcherID: brak

Scopus: brak

PBN: 5e7093df878c28a0473b24f0

System Informacyjny AGH (SkOs)





Liczba pozycji spełniających powyższe kryteria selekcji: 3, z ogólnej liczby 3 publikacji Autora


1
  • Język modelowania AlvisAlvis modelling language / Marcin SZPYRKA, Michał WYPYCH, Andrei KARATKEVICH, Konrad ZAWORSKI // W: Nauka – technika – technologia : seria wydawnicza AGH, T. 4. — Kraków : Wydawnictwa AGH, 2022. — Materiały z konferencji naukowej "Wydział Elektryczny AGH – Wczoraj, Dziś i Jutro" : 23 czerwca 2022, Kraków. — ISBN: 978-83-66727-88-5 ; e-ISBN: 978-83-66727-89-2. — S. 135–144. — Bibliogr. s. 143–144, Streszcz., Abstr.. — tekst: https://winntbg.bg.agh.edu.pl/skrypty4/0601/NTT_tom4_135.pdf

    orcid iD
  • słowa kluczowe: systemy czasu rzeczywistego, metody formalne, systemy wbudowane, systemy współbieżne, weryfikacja modelowa, język Alvis

    keywords: formal methods, real time systems, embedded systems, concurrent systems, Alvis language, model verification

    cyfrowy identyfikator dokumentu: 10.7494/978-83-66727-89-2_8

2
3
  • Patient managed patient health record based on blockchain technology / Konrad ZAWORSKI, Marcin SZPYRKA // W: Advances in Diagnostics of Processes and Systems : selected papers from the 14th international conference on Diagnostics of Processes and Systems (DPS), September 21–23, 2020, Zielona Góra (Poland) / eds. Józef Korbicz, Krzysztof Patan, Marcel Luzar. — Cham : Springer Nature Switzerland, cop. 2021. — (Studies in Systems, Decision and Control ; ISSN 2198-4182 ; vol. 313). — ISBN: 978-3-030-58963-9 ; e-ISBN: 978-3-030-58964-6. — S. 173–184. — Bibliogr., Abstr.. — Publikacja dostępna online od: 2020-12-13

    orcid iD
  • keywords: bitcoin, blockchain, PHR, Patient Health Record

    cyfrowy identyfikator dokumentu: 10.1007/978-3-030-58964-6_13