Wykaz publikacji wybranego autora

Michał Wypych, mgr inż.

asystent

Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering
WEAIiIB-kis

  • 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
  • Generation of labelled transition systems for Alvis models using Haskell model representation
5
  • Język modelowania Alvis
6
  • Priority management in Alvis language