Wykaz publikacji wybranego autora

Wojciech Szmuc, dr inż.

adiunkt

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-0247-6507 orcid iD

ResearcherID: brak

Scopus: 36626711900

PBN: 5e70922c878c28a047391202

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1
2

  • Hybrid modeling of software systems – UML/Petri nets approach / Wojciech SZMUC // W: Proceedings of the 16th international conference on Systems science : 4–6 September 2007, Wrocław, Poland. Vol. 3, Applications of systems analysis to technical systems ; Applications of systems analysis to non-technical systems ; Applications of systems analysis to biomedical systems / ed. Adam Grzech. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2007. — ISBN: 978-83-7493-341-4. — S. 389–398. — Bibliogr. s. 398

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3

  • INSIGMA [Dokument elektroniczny] : Inteligentny System Informacyjny dla Globalnego Monitoringu, Detekcji i Identyfikacji Zagrożeń. Raport techniczny D4.1, Analiza i identyfikacja wzorców zagrożeń — [INSIGMA : Intelligent System for Identification and Detection]. D4.1, Analysis and identification of threat patterns / Wojciech SZMUC, Andrzej GŁOWACZ, Michał Jaśkiewicz, Paweł KORUS, Michał GREGA, Marcin Hartung, Marcin Faryna, Tomasz Pawlicki, Bartłomiej Pawlik. — Wersja do Windows. — Dane tekstowe. — [Kraków : AGH], [2009]. — 31 s.. — Tryb dostępu: http://insigma.kt.agh.edu.pl/ [2012-02-24]. — Dostępny po zalogowaniu w Internecie

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Andrzej Głowacz, Michał Grega, Paweł Korus

    cyfrowy identyfikator dokumentu:

4

  • 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.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Tomasz Bartłomiej Szmuc, Marcin Szpyrka, Piotr Matyasik

    cyfrowy identyfikator dokumentu:

5

  • Wytwarzanie oprogramowania czasu rzeczywistego wspomagane metodą formalną: SDL – kolorowane sieci Petriego — Development of real-time software supported by formal method: SDL – colored Petri nets / Wojciech SZMUC // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2003 t. 7 z. 1–2, s. 267–273. — Bibliogr. s. 272–273, Streszcz., Summ.. — Materiał był prezentowany na XV [piętnastym] międzynarodowym sympozjum „Zastosowania teorii systemów” : Zakopane '2003

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: