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
2
  • Integrated approach to modelling and analysis using RTCP-nets / Marcin SZPYRKA, Tomasz SZMUC // W: Software engineering techniques : design for quality / ed. Krzysztof Sacha. — New York, NY, USA : Springer, 2006. — (IFIP International Federation for Information Processing : a Springer Series in Computer Science ; ISSN 1571-5736 ; 227). — Prace prezentowane na konferencji: IFIP working conference on Software Engineering Techniques SET 2006 : October 17–20, 2006, Warsaw. — ISBN10: 0-387-39387-0. — S. 115–120. — Bibliogr. s. 120, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
  • Verification of automatic train protection systems with RTCP-nets / Marcin SZPYRKA, Tomasz SZMUC // W: Computer Safetyty, reliability and security : 25th international conference, SAFECOMP 2006 : Gdansk, Poland, September 27–29, 2006 : proceedings / ed. Janusz Górski. — Berlin ; Heidelberg : Springer-Verlag, 2006. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 4166. Programming and Software Engineering ; ISSN 2945-915X). — ISBN10: 3-540-45762-3. — S. 344–357. — Bibliogr. s. 357, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: