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
  • [referat, 2015]
  • TytułExtension of Alvis Compiler front-end
    AutorzyMichał WYPYCH, Marcin SZPYRKA, Piotr MATYASIK
    ŹródłoICCMSE 2015 : International Conference of Computational Methods in Sciences and Engineering 2015 : Athens, Greece, 20–23 March 2015 / eds. Theodore E. Simos, Zacharoula Kalogiratou, Theodore Monovasilis. — [USA] : AIP Publishing LLC, 2015. — S. 100015-1–100015-4

  • keywords: formal verification, Alvis language, Alvis Compiler, compiler plugins

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Piotr Matyasik

    cyfrowy identyfikator dokumentu: 10.1063/1.4938892

2
  • [referat, 2015]
  • TytułGeneration of Java code from Alvis model
    AutorzyPiotr MATYASIK, Marcin SZPYRKA, Michał WYPYCH
    ŹródłoICCMSE 2015 : International Conference of Computational Methods in Sciences and Engineering 2015 : Athens, Greece, 20–23 March 2015 / eds. Theodore E. Simos, Zacharoula Kalogiratou, Theodore Monovasilis. — [USA] : AIP Publishing LLC, 2015. — S. 100013-1–100013-4

  • keywords: embedded systems, formal verification, Alvis modelling language, Alvis to Java translation, executable model

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Piotr Matyasik

    cyfrowy identyfikator dokumentu: 10.1063/1.4938890