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
  • [referat, 2006]
  • TytułDevelopment of embedded systems – from RTCP-net model to Ada code
    AutorzyMarcin SZPYRKA
    ŹródłoConcurrency, 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. — S. 231–242

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2
  • [referat, 2006]
  • TytułPractical aspects of development of embedded systems with RTCP-nets and Adder Tools
    AutorzyM. SZPYRKA
    ŹródłoMIXDES 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. — S. 722–727

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

    cyfrowy identyfikator dokumentu: 10.1109/MIXDES.2006.1706679

3
  • [referat, 2006]
  • TytułRTCP-net approach to verification of embedded systems implemented in Ada
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Jacek PIWOWARCZYK
    ŹródłoDESDes'06 : a proceedings volume from the 3textsuperscript{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

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

4
  • [referat, 2006]
  • TytułVerification of automatic train protection systems with RTCP-nets
    AutorzyMarcin SZPYRKA, Tomasz SZMUC
    ŹródłoComputer Safetyty, reliability and security : 25th international conference, SAFECOMP 2006 : Gdansk, Poland, September 27–29, 2006 : proceedings / ed. Janusz Górski. — Berlin ; Heidelberg : Springer-Verlag, 2006. — S. 344–357

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Tomasz Bartłomiej Szmuc

    cyfrowy identyfikator dokumentu: