Wykaz publikacji wybranego autora

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

profesor zwyczajny

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

ResearcherID: J-3955-2014

Scopus: 6602953396

PBN: 5e70922c878c28a047391201

OPI Nauka Polska

System Informacyjny AGH (SkOs)




1
  • Formal methods - support or scientific decoration in software development / Tomasz SZMUC, Marcin SZPYRKA // W: MIXDES 2015 : mixed design of integrated circuits and systems : Toruń, Poland June 25–27, 2015 : book of abstracts of 22\textsuperscript{nd} international conference / ed. Andrzej Napieralski. — Łódź : Lodz University of Technology. Department of Microelectronics and Computer Science, cop. 2015. — e-ISBN: 978-83-63578-06-0. — S. 19. — Pełny tekst na CD-ROMie. — S. 24–31. — Wymagania systemowe: Adobe Reader ; napęd CD-ROM. — Bibliogr. s. 30–31, Abstr.

  • keywords: temporal logic, Petri nets, embedded systems, software development, process algebra, Alvis language

    cyfrowy identyfikator dokumentu: 10.1109/MIXDES.2015.7208473