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
  • Badanie (weryfikacja) własności baz wiedzy z wykorzystaniem kolorowanych sieci Petriego
2
  • Charakterystyka systemu RTLinux względem wybranych systemów operacyjnych czasu rzeczywistego
3
  • Programowanie systemów czasu rzeczywistego
4
  • Projektowanie poprawnego oprogramowania czasu rzeczywistego wspomagane formalizmem algebry procesów
5
  • Specyfikacja i projektowanie oprogramowania systemów czasu rzeczywistego
6
  • Systemy czasu rzeczywistego
7
  • Weryfikacja wybranych własności jakościowych systemów tablicowych z bazą wiedzy