Wykaz publikacji wybranego autora

Tomasz Bartłomiej Szmuc, prof. dr hab. inż.

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 ResearcherID: J-3955-2014 Scopus: 6602953396 PBN: 5e70922c878c28a047391201	OPI Nauka Polska System Informacyjny AGH (SkOs)

Identyfikatory Autora

Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0003-4922-5369 orcid iD

ResearcherID: J-3955-2014

Scopus: 6602953396

PBN: 5e70922c878c28a047391201

wydruk:

sortowanie:

1

Analiza mechanizmów języka UML 2.0 do modelowania oprogramowania systemów czasu rzeczywistego
Analiza mechanizmów języka UML 2.0 do modelowania oprogramowania systemów czasu rzeczywistego — [Analysis of UML 2.0 properties for a modeling of real time software] / Radosław KLIMEK, Tomasz SZMUC // W: Współczesne problemy systemów czasu rzeczywistego : praca zbiorowa / pod red.: Andrzeja Kwietnia i Piotra Gaja. — Warszawa : Wydawnictwa Naukowo-Techniczne, 2004. — ISBN10: 8320430232. — S. 45–60. — Bibliogr. s. 59–60

2

Modelling and simulation of embedded systems with RTCP-nets
Modelling and simulation of embedded systems with RTCP-nets / Marcin SZPYRKA, Tomasz SZMUC // W: Proceedings of the IASTED international conference on Applied simulation and modelling : June 28–30, 2004, Rhodes, Greece / ed. M. H. Hamza. — Anaheim ; Calgary ; Zurich : ACTA Press, 2004. — (A Publication of the International Association of Science and Technology for Development). — S. 504–509. — Bibliogr. s. 509, Abstr.

3

RTCP-sieci – formalne metody szybkiego modelowania systemów czasu rzeczywistego
RTCP-sieci – formalne metody szybkiego modelowania systemów czasu rzeczywistego — [RTCP-nets – a formal methods of fast modelling of real-time systems] / Marcin SZPYRKA, Tomasz SZMUC // W: Współczesne problemy systemów czasu rzeczywistego : praca zbiorowa / pod red.: Andrzeja Kwietnia i Piotra Gaja. — Warszawa : Wydawnictwa Naukowo-Techniczne, 2004. — ISBN10: 8320430232. — S. 83–92. — Bibliogr. s. 92

4

RTCP-sieci – formalne podejście do szybkiego modelowania systemów czasu rzeczywistego
RTCP-sieci – formalne podejście do szybkiego modelowania systemów czasu rzeczywistego — [RTCP-nets – a formal approach to fast modelling of real-time systems] / Marcin SZPYRKA, Tomasz SZMUC, Piotr MATYASIK, Wojciech SZMUC // W: Inżynieria oprogramowania : nowe wyzwania : VI Krajowa Konferencja Inżynierii Oprogramowania KKIO'2004 : Gdańsk, 5–8 października 2004 / red. Janusz Górski, Andrzej Wardziński ; Polskie Towarzystwo Informatyczne. — Warszawa : Wydawnictwa Naukowo-Techniczne, 2004. — Opis częśc. wg okł.. — S. 315–328. — Bibliogr. s. 327–328, Streszcz.