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
  • [referat, 2005]
  • TytułApplication of RTCP-nets for design and analysis of embedded systems
    AutorzyM. SZPYRKA, T. SZMUC
    ŹródłoMIXDES 2005 : MIXed DESign of integrated circuits and systems : proceedings of the 12textsuperscript{th} international conference : Kraków, Poland 22–25 June 2004, Vol. 1 of 2 / ed. Andrzej Napieralski. — [Łodź : Technical University. Department of Microelectronics and Computer Science], 2005. — S. 565–570

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

3
  • [referat, 2005]
  • TytułHierarchiczna reprezentacja reguł decyzyjnych w specyfikacji systemów czasu rzeczywistego
    AutorzyTomasz SZMUC, Rafał Mrówka
    ŹródłoCMS'05 : Computer Methods and Systems : V konferencja : 14–16 November 2005, Kraków, Poland. Vol. 2, Regular sessions / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology. — Kraków : Oprogramowanie Naukowo-Techniczne, 2005. — S. 283–288

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

4
  • [fragment książki, 2005]
  • TytułInformatyka – stan aktualny i kierunki rozwoju
    AutorzyTomasz SZMUC
    ŹródłoPrace Komisji Nauk Technicznych, T. 1 / pod red. Ryszarda Tadeusiewicza ; Polska Akademia Umiejętności. — Kraków : PAU, 2005. — S. 65–74

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

5
  • [fragment książki, 2005]
  • TytułModeling and verification of reactive software using LOTOS
    AutorzyGrzegorz ROGUS, Tomasz SZMUC
    ŹródłoSoftware engineering : evolution and emerging technologies / eds. Krzysztof Zieliński, Tomasz Szmuc. — Amsterdam, [etc.] : IOS Press, 2005. — S. 365–377

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

6
  • [referat, 2005]
  • TytułNew time model and design method for RTCP-nets
    AutorzyMarcin SZPYRKA, Tomasz SZMUC
    ŹródłoReal-Time Programming 2004 (WRTP 2004) : a proceedings volume from the 28textsuperscript{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. — S. 121–126

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

7
  • [książka, 2005]
  • TytułSoftware engineering : evolution and emerging technologies
    Autorzyeds. Krzysztof ZIELIŃSKI, Tomasz SZMUC
    DetailsAmsterdam [etc.] : IOS Press, 2005. — X, 431 s.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

8
  • [fragment książki, 2005]
  • TytułSpecyfikacja wymagań z zastosowaniem hierarchicznych tablic decyzyjnych oraz D-sieci
    AutorzyTomasz SZMUC, Rafał Mrówka
    ŹródłoSystemy czasu rzeczywistego : praca zbiorowa. T. 1, Kierunki badań i rozwoju / pod red. Andrzeja Kwietnia. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2005. — S. 59–70

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

9
  • [referat w czasopiśmie, 2005]
  • TytułSystematyczna analiza poprawności w wytwarzaniu bezpiecznego oprogramowania
    AutorzyTomasz SZMUC, Grzegorz ROGUS
    ŹródłoPomiary, Automatyka, Kontrola / Stowarzyszenie Inżynierów i Techników Mechaników Polskich. Sekcja Metrologii, Polskie Stowarzyszenie Pomiarów Automatyki i Robotyki POLSPAR. — 2005 [nr] 9bis wyd. spec. dod., s. 288–290

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

10
  • [fragment książki, 2005]
  • TytułTCPN-based tool for timing constraints modelling and validation
    AutorzySławomir Samolej, Tomasz SZMUC
    ŹródłoSoftware engineering : evolution and emerging technologies / eds. Krzysztof Zieliński, Tomasz Szmuc. — Amsterdam, [etc.] : IOS Press, 2005. — S. 194–205

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: