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
2

  • Hierarchical communication diagrams / Marcin SZPYRKA, Piotr MATYASIK, Jerzy BIERNACKI, Agnieszka BIERNACKA, Michał WYPYCH, Leszek KOTULSKI // Computing and Informatics / Slovak Academy of Sciences. Institute of Informatics ; ISSN 1335-9150. — Tytuł poprz.: Computers and Artificial Intelligence. — 2016 vol. 35 no. 1, s. 55–83. — Bibliogr. s. 80–82, Abstr.

  • keywords: Alvis language, hierarchical communication diagrams, flat representation, analysis operation, synthesis operation

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Matyasik, Leszek Kotulski, Michał Wypych, Agnieszka Biernacka, Jerzy Biernacki

    cyfrowy identyfikator dokumentu:

3

  • Tools and methods for RTCP-nets modeling and verification / Marcin SZPYRKA, Jerzy BIERNACKI, Agnieszka BIERNACKA // Archives of Control Sciences ; ISSN 1230-2384. — 2016 vol. 26 no. 3, s. 339–365. — Bibliogr. s. 363–365. — Publikacja dostępna online od: 2016-09-29. — tekst: https://goo.gl/15yMPw

  • keywords: model checking, Petri nets, RTCP-nets, nuXmv, CADP, coverability graphs

    Zobacz pełny wykaz publikacji Autora/Autorów: Agnieszka Biernacka, Jerzy Biernacki

    cyfrowy identyfikator dokumentu: 10.1515/acsc-2016-0019