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
  • Improving dependability of automation for free electron laser FLASH / Boguslaw Kosęda, Tomasz SZMUC, Wojciech Cichalewski // Journal of Automation, Mobile Robotics & Intelligent Systems : JAMRIS ; ISSN 1897-8649. — 2009 vol. 3 no. 1, s. 33–39. — Bibliogr. s. 38–39, Abstr.. — tekst: http://www.jamris.org/images/ISSUES/ISSUE-2009-01/007%20JAMRIS%20No9%20-%20Koseda.pdf

  • keywords: formal methods, automation, model checking, prolog, expert system, flash

    cyfrowy identyfikator dokumentu: