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 poprawnego oprogramowania wspomagane formalizmem algebry procesów — Design of correct software supported by process algebra / Tomasz SZMUC, Sylwester Oskwarek // W: Diagnostyka procesów przemysłowych : V krajowa konferencja naukowo-techniczna : Łagów Lubuski, 17–19 września 2001 = Diagnostics of industrial processes : 5th national conference / red. nauk. Józef Korbicz, Andrzej Pieczyński ; Politechnika Zielonogórska. — Zielona Góra : Oficyna Wydawnicza PZ, 2001. — Opis częśc. wg okł.. — ISBN10: 83-85911-77-4. — S. 319–322. — Bibliogr. s. 322, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2

  • Zastosowanie kolorowanych sieci Petriego do modelowania i analizy komunikacji w języku Ada — An application of coloured Petri nets in modelling and analysis of communication in Ada language / Tomasz SZMUC, Piotr Matyasik, Rafał Mrówka // W: Systemy czasu rzeczywistego : VIII [ósma] konferencja : Krynica, 24–27 września 2001 : materiały konferencyjne / red. Tomasz Szmuc i Radosław Klimek ; Katedra Automatyki Akademii Górniczo-Hutniczej w Krakowie. — Kraków : KA AGH, 2001. — S. 253–263. — Bibliogr. s. 263

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: