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
  • A formal approach to modelling of real-time systems using RTCP-nets
2
  • Adder Designer – tools for modelling and analysis of rule-based systems
3
  • APE – tool for modelling and analysis of concurrent systems with Petri nets
4
  • Application of RTCP-nets for design and analysis of embedded systems
5
  • Development of safety-critical systems with RTCP-nets support
6
  • Formal approach to prototyping and analysis of modular rule-based systems
7
  • Implementacja w języku Ada systemów współbieżnych modelowanych za pomocą RTCP-sieci
8
  • New time model and design method for RTCP-nets
9
  • Two formal approaches to design and verification of embedded rule-based systems