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
  • Comparative analysis of methods and tools for formal modelling and verification for embedded systems