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

  • Analysis of RTCP-nets with reachability graphs / Marcin SZPYRKA // Fundamenta Informaticae ; ISSN 0169-2968. — 2006 vol. 74 no. 2–3, s. 375–390. — Bibliogr. s. 390, Abstr.

  • keywords: RTCP-nets, analysis, coverability graphs, reachability graphs

    cyfrowy identyfikator dokumentu:

2

  • Development of embedded systems with RTCP-nets — Projektowanie systemów wbudowanych z wykorzystaniem RTCP-sieci / Marcin SZPYRKA // Elektronika : konstrukcje, technologie, zastosowania (Warszawa) ; ISSN 0033-2089. — Tytuł poprz.: Przegląd Elektroniki. — 2006 R. 47 nr 10, s. 19–22. — Bibliogr. s. 22, Streszcz., Summ.. — MIXDES 2006 : MIXed DESign of integrated circuits and systems : international conference : Gdynia, 22–24 June 2006. — Warszawa : Wydawnictwo Czasopism i Książek Technicznych SIGMA-NOT Spółka z o. o., 2006

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
4

  • Practical aspects of development of embedded systems with RTCP-nets and Adder Tools / M. SZPYRKA // W: MIXDES 2006 : MIXed DESign of integrated circuits and systems : proceedings of the international conference : Gdynia, Poland 22–24 June 2006 / ed. Andrzej Napieralski. — [Łódź : Technical University of Łódź. Department of Microelectronics and Computer Science], 2006. — ISBN10: 83-922632-1-9. — S. 722–727. — Bibliogr. s. 727, Abstr.. — Toż na CD-ROMie

  • keywords: RTCP-nets, software, embedded systems, development

    cyfrowy identyfikator dokumentu: 10.1109/MIXDES.2006.1706679

5

  • RTCP-net approach to verification of embedded systems implemented in Ada / Marcin SZPYRKA, Piotr MATYASIK, Jacek PIWOWARCZYK // W: DESDes'06 : a proceedings volume from the 3\textsuperscript{rd} IFAC workshop on Discrete-Events System Design 2006 : Rydzyna, Poland, 26–28 September 2006 / eds.: Marian Adamski [et al.] ; IFAC. — Zielona Góra : International Federation of Automatic Control, University of Zielona Góra Press, 2006. — S. 203–208. — Bibliogr. s. 208, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Jacek Piwowarczyk, Piotr Matyasik

    cyfrowy identyfikator dokumentu: