Wykaz publikacji wybranego autora

Marek Golonka, mgr inż.

doktorant

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

  • 2019

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

Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-5961-1303 orcid iD

ResearcherID: brak

Scopus: brak

System Informacyjny AGH (SkOs)

1
  • [referat, 2021]
  • TytułComparative analysis of methods and tools for formal modelling and verification for embedded systems : probabilistic approach
    AutorzyMarek Zbigniew GOLONKA
    ŹródłoMIXDES 2021 [Dokument elektroniczny] : Mixed Design of Integrated Circuits and Systems : book of abstracts of 28textsuperscript{th} international conference : Łódź, Poland June 24 – 26, 2021 / ed. by Andrzej Napieralski ; Lodz University of Technology, [etc.]. — Łódź : Lodz University of Technology, cop. 2021. — S. 87

  • keywords: embedded systems, Markov chain, formal modelling, stochastic petri net, probabilistic timed automata, software tools

    cyfrowy identyfikator dokumentu: