Wykaz publikacji wybranego autora

Michał Wypych, mgr inż.

asystent

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

  • 2018

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

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

Identyfikatory Autora

ORCID: 0000-0002-6239-2949 połącz konto z ORCID

ResearcherID: brak

Scopus: 56005385500

PBN: 5e7092ae878c28a04739a9ef

1
2
  • Alvis language with time dependence
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
  • Hierarchical communication diagrams
8
  • Język modelowania Alvis
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