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
  • A formal approach to modelling of real-time systems using RTCP-nets
2
  • Application of RTCP-nets for design and analysis of embedded systems
3
  • Hierarchiczna reprezentacja reguł decyzyjnych w specyfikacji systemów czasu rzeczywistego
4
  • Informatyka – stan aktualny i kierunki rozwoju
5
  • Modeling and verification of reactive software using LOTOS
6
  • New time model and design method for RTCP-nets
7
  • Software engineering
8
  • Specyfikacja wymagań z zastosowaniem hierarchicznych tablic decyzyjnych oraz D-sieci
9
  • Systematyczna analiza poprawności w wytwarzaniu bezpiecznego oprogramowania
10
  • TCPN-based tool for timing constraints modelling and validation