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

  • 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

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:

4

  • Verification of automatic train protection systems with RTCP-nets / Marcin SZPYRKA, Tomasz SZMUC // W: Computer 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. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 4166. Programming and Software Engineering ; ISSN 2945-915X). — ISBN10: 3-540-45762-3. — S. 344–357. — Bibliogr. s. 357, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu: