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
  • Analiza czasowa modeli opisywanych sieciami Petriego
2
  • D-net: a tool for verification of knowledge-based systems
3
  • Dwupoziomowy algebraiczno-logiczny model bazy danych
4
  • Formalna analiza czasowa systemów czasu rzeczywistego
5
  • Opis protokołu magistrali VMEbus z zastosowaniem kolorowanych sieci Petriego
6
  • Wykorzystanie oprogramowania Design/CPN do projektowania systemów czasu rzeczywistego