Wykaz publikacji wybranego autora

Michał Wypych, mgr inż.

asystent

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

[dyscyplina wiodąca] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja


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


Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-6239-2949

ResearcherID: brak

Scopus: 56005385500

PBN: 3928255

System Informacyjny AGH (SkOs)





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


1
  • Alvis language with time dependence
2
  • A survey of Alvis communication modes
3
  • Communication between agents in Alvis language
4
  • Discrete-time systems modeling and verification with Alvis language and tools
5
  • Extension of Alvis Compiler front-end
6
  • Generation of Java code from Alvis model
7
  • Generation of labelled transition systems for Alvis models using Haskell model representation
8
  • Hierarchical communication diagrams
9
  • Modelling and verification of real-time systems with Alvis
10
  • Priority management in Alvis language
11
  • Simulation of multi-agent systems with Alvis Toolkit
12
  • Supporting BPMN process models with UML sequence diagrams for representing time issues and testing models