Wykaz publikacji wybranego autora

Piotr Matyasik, dr inż.

adiunkt

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


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


Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0001-5003-2439 połącz konto z ORCID

ResearcherID: K-5783-2013

Scopus: 23397806800

OPI Nauka Polska

System Informacyjny AGH (SkOs)





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


1
  • A formal approach to modelling of real-time systems using RTCP-nets
2
3
  • Alvis approach to hexor robot controller development
4
  • Alvis approach to Hexor robot controller development
5
  • Alvis language with time dependence
6
  • Alvis – modelling language for concurrent systems
7
  • Alvis Virtual Machine
8
  • APE – tool for modelling and analysis of concurrent systems with Petri nets
9
  • Automatyczne generowanie kodu na podstawie modeli UML
10
  • Communication between agents in Alvis language
11
  • Communication with environment in Alvis models
12
  • Design of XCCS models with Inez XCCS editor [Dokument elektroniczny
13
  • Event-based Hexor Robot Software framework
14
  • Extension of Alvis Compiler front-end
15
  • Extreme programming – przegląd i porównanie wybranych narzędzi wspomagających testy jednostkowe
16
17
  • Formal modelling and verification of concurrent systems with XCCS
18
  • Generation of Java code from Alvis model
19
  • Generation of labelled transition systems for Alvis models using Haskell model representation
20
  • Graphical modelling tool for CCS process algebra
21
  • Hierarchical communication diagrams
22
  • Implementacja w języku Ada systemów współbieżnych modelowanych za pomocą RTCP-sieci
23
  • Introduction to Alvis internal language syntax [Dokument elektroniczny]
24
  • Introduction to Alvis modelling language
25
  • Introduction to Alvis modelling language