Wykaz publikacji wybranego autora

Marcin Szpyrka, prof. dr hab.

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-4925-3271 orcid iD

ResearcherID: B-8372-2013

Scopus: 6507007631

PBN: 5e70922c878c28a047391204

OPI Nauka Polska

System Informacyjny AGH (SkOs)




1
  • RTCP-nets as a tool for real-time systems modelling and analysis / Marcin SZPYRKA, Tomasz SZMUC // W: WRTP'03 : 27th IFAC/IFIP/IEEE Workshop on Real-Time Programming : May 14–17, 2003, Łagów (Poland): preprints / eds. Matjaž Colnarič, Marian Adamski, Marek Węgrzyn ; University of Zielona Góra. Institute of Computer Engineering and Electronics, IFAC. — [Poland : IFAC], [cop. 2003]. — Opis częśc. wg okł.. — S. 25–30. — Bibliogr. s. 29, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2
  • Specification of external system behaviour based on D-nets: theoretical aspects and computer toolsSpecyfikacja obserwowalnego zachowania się systemu w oparciu o D-sieci – aspekty teoretyczne i narzędzia wspomagające / Marcin SZPYRKA, Tomasz SZMUC // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2003 t. 7 z. 1–2, s. 275–281. — Bibliogr. s. 281, Streszcz., Summ.. — Materiał był prezentowany na XV [piętnastym] międzynarodowym sympozjum „Zastosowania teorii systemów” : Zakopane '2003

  • słowa kluczowe: sieci Petriego, D-sieci

    keywords: Petri nets, D-nets

    cyfrowy identyfikator dokumentu: