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

3
  • Development of embedded systems with RTCP-netsProjektowanie 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:

4
5
  • Integrated approach to modelling and analysis using RTCP-nets / Marcin SZPYRKA, Tomasz SZMUC // W: Software engineering techniques : design for quality / ed. Krzysztof Sacha. — New York, NY, USA : Springer, 2006. — (IFIP International Federation for Information Processing : a Springer Series in Computer Science ; ISSN 1571-5736 ; 227). — Prace prezentowane na konferencji: IFIP working conference on Software Engineering Techniques SET 2006 : October 17–20, 2006, Warsaw. — ISBN10: 0-387-39387-0. — S. 115–120. — Bibliogr. s. 120, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

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

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

    cyfrowy identyfikator dokumentu:

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

    cyfrowy identyfikator dokumentu: