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





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


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
  • Generation of labelled transition systems for Alvis models using Haskell model representation
8
  • Hierarchical communication diagrams
9
  • Język modelowania Alvis
10
  • Modelling and verification of real-time systems with Alvis
11
  • Priority management in Alvis language
12
  • Simulation of multi-agent systems with Alvis Toolkit
13
  • Supporting BPMN process models with UML sequence diagrams for representing time issues and testing models