Wykaz publikacji wybranego autora

Tomasz Bartłomiej Szmuc, prof. dr hab. inż.

profesor zwyczajny

Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering
WEAIiIB-kis


  • 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-4922-5369 orcid iD

ResearcherID: J-3955-2014

Scopus: 6602953396

PBN: 5e70922c878c28a047391201

OPI Nauka Polska

System Informacyjny AGH (SkOs)




1
  • [proceedings, 2015]
  • TytułFormal methods - support or scientific decoration in software development
    AutorzyTomasz SZMUC, Marcin SZPYRKA
    ŹródłoMIXDES 2015 : mixed design of integrated circuits and systems : Toruń, Poland June 25–27, 2015 : book of abstracts of 22textsuperscript{nd} international conference / ed. Andrzej Napieralski. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2015. — S. 19
  • keywords: temporal logic, Petri nets, embedded systems, software development, process algebra, Alvis language

    cyfrowy identyfikator dokumentu: 10.1109/MIXDES.2015.7208473