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
  • Algebraiczno-grafowe metody reprezentacji wiedzy dla analizy i weryfikacji atrybutowych systemów tablicowych
2
  • Analiza i projektowanie oprogramowania systemów czasu rzeczywistego
3
  • Analiza i projektowanie systemów komputerowych czasu rzeczywistego o różnym stopniu rozproszenia
4
  • Analysis, verification and design of tabular systems
5
  • Dyskusja panelowa poświęcona zagadnieniom terminologicznym geoinformatyki
6
  • Modele formalne i możliwości analizy czasowej
7
  • Modele i metody inżynierii oprogramowania systemów czasu rzeczywistego
8
  • Projektowanie poprawnego oprogramowania wspomagane formalizmem algebry procesów
9
  • Systemy czasu rzeczywistego
10
  • Zastosowanie algebry procesów do wspomagania projektowania poprawnego oprogramowania systemów reaktywnych
11
  • Zastosowanie kolorowanych sieci Petriego do modelowania i analizy komunikacji w języku Ada