Wykaz publikacji wybranego autora

Rafał Mrówka, dr inż.

adiunkt

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

  • 2022

    [dyscyplina 1] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja

  • 2018

    [dyscyplina 1] dziedzina nauk ścisłych i przyrodniczych / informatyka

    [dyscyplina 2] 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 połącz konto z ORCID

ResearcherID: brak

Scopus: 26029524900

PBN: 5e70922c878c28a04739119e

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1

  • Alvis – modelling language for concurrent systems / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA // W: Intelligent decision systems in large-scale distributed environments / eds. Pascal Bouvry, Horacio González-Vélez, Joanna Kołodziej. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — (Studies in Computational Intelligence ; ISSN 1860-949X ; vol. 362). — ISBN: 978-3-642-21270-3. — S. 315–341. — Bibliogr. s. 340–341, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Piotr Matyasik

    cyfrowy identyfikator dokumentu:

2

  • Introduction to Alvis modelling language — Wprowadzenie do języka modelowania Alvis / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Wojciech Witalec, Jarosław Baniewicz, Krzysztof Balicki // Pomiary, Automatyka, Kontrola / Stowarzyszenie Inżynierów i Techników Mechaników Polskich. Sekcja Metrologii, Polskie Stowarzyszenie Pomiarów Automatyki i Robotyki POLSPAR ; ISSN 0032-4140. — 2011 vol 57 nr 9, s. 1086–1089. — Bibliogr. s. 1089, Abstr., Streszcz.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Piotr Matyasik

    cyfrowy identyfikator dokumentu:

3

  • Introduction to modelling embedded systems with Alvis — Wprowadzenie do modelowania systemów wbudowanych w języku Alvis / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Wojciech Witalec, Jarosław Baniewicz, Leszek KOTULSKI // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2011 t. 15 z. 2, s. 435–442. — Bibliogr. s. 442, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2011-02/Auto43.pdf

  • słowa kluczowe: metody formalne, Alvis, weryfikacja systemów wbudowanych, modelowanie systemów wbudowanych

    keywords: formal methods, Alvis, embedded systems modelling, embedded systems verification

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Piotr Matyasik, Leszek Kotulski

    cyfrowy identyfikator dokumentu:

4

  • Specyfikacja otoczenia systemów wbudowanych modelowanych w języku Alvis — [Specification of embedded systems environment for Alvis models] / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA // W: Projektowanie, analiza i implementacja systemów czasu rzeczywistego : praca zbiorowa / pod red. Leszka Trybusa i Sławomira Samoleja. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2011. — Na s. red. błędny ISBN: 878-83-206-1822-8. — ISBN: 978-83-206-1822-8. — S. 65–75. — Bibliogr. s. 74–75. — Marcin Szpyrka – dod. afiliacja: Uniwersytet Humanistyczno-Przyrodniczy Jana Kochanowskiego w Kielcach, Instytut Fizyki

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Piotr Matyasik

    cyfrowy identyfikator dokumentu: