Wykaz publikacji wybranego autora

Marcin Szpyrka, prof. dr hab.

profesor zwyczajny

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 Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0003-4925-3271 orcid iD

ResearcherID: B-8372-2013

Scopus: 6507007631

PBN: 5e70922c878c28a047391204

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1

  • Generation of labelled transition systems for Alvis models using Haskell model representation / Marcin SZPYRKA, Piotr MATYASIK, Michał WYPYCH // W: CS&P'2013 [Dokument elektroniczny] : proceedings of the international workshop : Warsaw, 25–27 September 2013 / eds. Marcin Szczuka, Ludwik Czaja, Magdalena Kacprzak. — Wersja do Windows. — Dane tekstowe. — Białystok : Białystok University of Technology, 2013. — 1 dysk optyczny. — e-ISBN: 978-83-62582-42-6. — S. [1–12]. — Wymagania systemowe: Adobe Reader ; napęd CD-ROM. — Bibliogr. s. [11–12], Abstr.. — W bazie Scopus wersja wydana w ramach serii: CEUR Workshop Proceedings ; ISSN 1613-0073, vol. 1032 s. 409–420

  • keywords: formal verification, Alvis, Haskell, labelled transition system

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Matyasik, Michał Wypych

    cyfrowy identyfikator dokumentu: