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
  • Projektowanie wstępne oprogramowania systemów wbudowanych z zastosowaniem czasowych kolorowanych sieci PetriegoEmbedded system preliminary design – timed coloured Petri approach / Sławomir Samolej, Tomasz SZMUC // W: Systemy Czasu Rzeczywistego SCR'03 : X konferencja : Ustroń, 15–18 września 2003 : materiały konferencyjne / red. Piotr Gaj, Andrzej Kwiecień ; Politechnika Śląska. — Gliwice : Instytut Informatyki PŚ, 2003. — Opis częśc. wg okł. — S. 95–104. — Bibliogr. s. 103–104, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2
  • RTCP-nets as a tool for real-time systems modelling and analysis / Marcin SZPYRKA, Tomasz SZMUC // W: WRTP'03 : 27th IFAC/IFIP/IEEE Workshop on Real-Time Programming : May 14–17, 2003, Łagów (Poland): preprints / eds. Matjaž Colnarič, Marian Adamski, Marek Węgrzyn ; University of Zielona Góra. Institute of Computer Engineering and Electronics, IFAC. — [Poland : IFAC], [cop. 2003]. — Opis częśc. wg okł.. — S. 25–30. — Bibliogr. s. 29, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
  • Specification of external system behaviour based on D-nets: theoretical aspects and computer toolsSpecyfikacja obserwowalnego zachowania się systemu w oparciu o D-sieci – aspekty teoretyczne i narzędzia wspomagające / Marcin SZPYRKA, Tomasz SZMUC // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2003 t. 7 z. 1–2, s. 275–281. — Bibliogr. s. 281, Streszcz., Summ.. — Materiał był prezentowany na XV [piętnastym] międzynarodowym sympozjum „Zastosowania teorii systemów” : Zakopane '2003

  • słowa kluczowe: sieci Petriego, D-sieci

    keywords: Petri nets, D-nets

    cyfrowy identyfikator dokumentu: