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
  • [referat, 2003]
  • TytułProjektowanie wstępne oprogramowania systemów wbudowanych z zastosowaniem czasowych kolorowanych sieci Petriego
    AutorzySławomir Samolej, Tomasz SZMUC
    ŹródłoSystemy 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. — S. 95–104

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2
  • [referat, 2003]
  • TytułRTCP-nets as a tool for real-time systems modelling and analysis
    AutorzyMarcin SZPYRKA, Tomasz SZMUC
    ŹródłoWRTP'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]. — S. 25–30

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka

    cyfrowy identyfikator dokumentu:

3
  • [artykuł w czasopiśmie, 2003]
  • TytułSpecification of external system behaviour based on D-nets: theoretical aspects and computer tools
    AutorzyMarcin SZPYRKA, Tomasz SZMUC
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2003 t. 7 z. 1–2, s. 275–281

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

    keywords: Petri nets, D-nets

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka

    cyfrowy identyfikator dokumentu: