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

  • Modeling and verification of reactive software using LOTOS / Grzegorz ROGUS, Tomasz SZMUC // W: Software engineering : evolution and emerging technologies / eds. Krzysztof Zieliński, Tomasz Szmuc. — Amsterdam, [etc.] : IOS Press, 2005. — (Frontiers in Artificial Intelligence and Applications ; ISSN 0922-6389 ; vol. 130). — ISBN: 978-1-58603-559-4. — S. 365–377. — Bibliogr. s. 377, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus

    cyfrowy identyfikator dokumentu:

2

  • New time model and design method for RTCP-nets / Marcin SZPYRKA, Tomasz SZMUC // W: Real-Time Programming 2004 (WRTP 2004) : a proceedings volume from the 28\textsuperscript{th} IFAC/IFIP Workshop on Real-Time Programming, WRTP 2004 and the International Workshop on Software Engineering, IWSS 2004 : Istanbul, Turkey, 8–10 September 2004 / eds. M. Colnarič, W. A. Halang, M. Węgrzyn. — Oxford : Elsevier Ltd, 2005. — (Elsevier IFAC Publications). — Opis częśc. wg okł.. — S. 121–126. — Bibliogr. s. 126, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

3

  • Software engineering : evolution and emerging technologies / eds. Krzysztof ZIELIŃSKI, Tomasz SZMUC. — Amsterdam [etc.] : IOS Press, 2005. — X, 431 s.. — (Frontiers in Artificial Intelligence and Applications ; ISSN 0922-6389 ; vol. 130). — Bibliogr. przy rozdz.. — ISBN10: 1-58603-559-2

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Krzysztof Zieliński

    cyfrowy identyfikator dokumentu:

4

  • TCPN-based tool for timing constraints modelling and validation / Sławomir Samolej, Tomasz SZMUC // W: Software engineering : evolution and emerging technologies / eds. Krzysztof Zieliński, Tomasz Szmuc. — Amsterdam, [etc.] : IOS Press, 2005. — (Frontiers in Artificial Intelligence and Applications ; ISSN 0922-6389 ; vol. 130). — ISBN: 978-1-58603-559-4. — S. 194–205. — Bibliogr. s. 205, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: