Wykaz publikacji wybranego autora

Rafał Mrówka, dr inż.

adiunkt

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej

[dyscyplina wiodąca] dziedzina nauk ścisłych i przyrodniczych / informatyka

[dyscyplina dodatkowa] dziedzina nauk inżynieryjno-technicznych / automatyka, elektronika i elektrotechnika (25%)


[poprzednia klasyfikacja] obszar nauk technicznych / dziedzina nauk technicznych / informatyka


Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0001-5143-3488

ResearcherID: brak

Scopus: 26029524900

PBN: 909763

OPI Nauka Polska

System Informacyjny AGH (SkOs)




1
  • [artykuł w czasopiśmie, 2014]
  • TytułFormal description of Alvis language with $alpha^{0}$ system layer
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Leszek KOTULSKI
    ŹródłoFundamenta Informaticae. — 2014 vol. 129 no. 1/2, s. 161–176
  • keywords: formal methods, Alvis modelling language, concurrent systems

    cyfrowy identyfikator dokumentu: 10.3233/FI-2014-967