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
  • Formal description of Alvis language with $\alpha^{0}$ system layer / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Leszek KOTULSKI // Fundamenta Informaticae ; ISSN 0169-2968. — 2014 vol. 129 no. 1/2, s. 161–176. — Bibliogr. s. 175–176, Abstr.

  • keywords: formal methods, Alvis modelling language, concurrent systems

    cyfrowy identyfikator dokumentu: 10.3233/FI-2014-967