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)





Liczba pozycji spełniających powyższe kryteria selekcji: 21, z ogólnej liczby 21 publikacji Autora


1
  • Alvis approach to hexor robot controller development
2
  • Alvis approach to Hexor robot controller development
3
  • Alvis – modelling language for concurrent systems
4
  • Communication with environment in Alvis models
5
  • Comparison of wireless technologies for rotating machinery diagnostics
6
  • Comparison of wireless technologies for rotating machinery diagnostics
7
  • Formal description of Alvis language with $\alpha^{0}$ system layer
8
  • General information about the KIC innoenergy Co-Location Center
9
  • Introduction to Alvis internal language syntax [Dokument elektroniczny]
10
  • Introduction to Alvis modelling language
11
  • Introduction to Alvis modelling language
12
  • Introduction to modelling embedded systems with Alvis
13
  • Modelling of signals handling with Alvis
14
  • Modelowanie systemów wbudowanych w języku Alvis
15
  • New technologies for wireless energy-efficient machinery diagnostic system
16
  • New technologies for wireless, energy efficient machinery diagnostic systems
17
  • Practical approach to modelling and verification of concurrent systems with Alvis
18
  • Problemy bezpieczeństwa w inteligentnych sieciach energetycznych
19
  • Specyfikacja otoczenia systemów wbudowanych modelowanych w języku Alvis
20
  • Towards efficient application of formal techniques in software development
21
  • UML Statecharts compositional semantics in LOTOS