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

  • Modelowanie komunikacji w języku Ada z zastosowaniem kolorowanych sieci Petriego — [Modelling of Ada communication using coloured Petri nets] / Tomasz SZMUC, Piotr MATYASIK, Rafał Mrówka // W: Współczesne kierunki rozwoju elektrotechniki, automatyki, informatyki, elektroniki i telekomunikacji : materiały międzynarodowej konferencji zorganizowanej z okazji Jubileuszu 50-lecia Wydziału EAIiE : Kraków, 7–8 czerwca 2002 / kom. red. Tomasz Zieliński, Dariusz Borkowski ; AGH WEAIiE. — [Kraków : WEAIiE], 2002. — Na k. tyt. dodatkowo: Złoty Jubileusz Wydziału Elektrotechniki, Automatyki, Informatyki i Elektroniki Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — S. 53–56. — Bibliogr. s. 56, Streszcz.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Matyasik

    cyfrowy identyfikator dokumentu:

2

  • Modelowanie systemów czasu rzeczywistego z zastosowaniem czasowych sieci Petriego — Real-time system modelling – timed Petri nets approach / Sławomir Samolej, Tomasz SZMUC // W: Systemy Czasu Rzeczywistego SCR'02 : IX [dziewiąta] konferencja : Ustroń, 16–19 września 2002 : materiały konferencyjne / red. Piotr Gaj, Andrzej Kwiecień. — Gliwice : Instytut Informatyki Politechniki Śląskiej, 2002. — S. 45–54. — Bibliogr. s. 53–54, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: