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

  • Development of embedded systems – from RTCP-net model to Ada code / Marcin SZPYRKA // W: Concurrency, Specification and Programming CS&P'2006 : Wandlitz, September 27–29, 2006. Vol. 2, Specification / eds.: Gabriela Lindemann [et al.] ; Humboldt-Universität zu Berlin. — Berlin : Professoren des Institutes für Informatik, 2006. — (Informatik-Berichte ; ISSN 0863-095X ; Nr. 206). — S. 231–242. — Bibliogr. s. 242, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2
3

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