doktorant
Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering WEAIiIB-kis
ORCID: brak
ResearcherID: brak
Scopus: brak
Methods of translation of Petri nets to NuSMV language / Marcin SZPYRKA, Agnieszka BIERNACKA, Jerzy BIERNACKI // CEUR Workshop Proceedings [Dokument elektroniczny]. - Czasopismo elektroniczne ; ISSN 1613-0073. — 2014 vol. 1269, s. 245–256. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 255–256, Abstr.. — CS&P 2014 [Dokument elektroniczny] : proceedings of the 23th international workshop on Concurrency, Specification and Programming : Chemnitz, Germany, September 29–October 1, 2014 / ed. by Louchka Popova-Zeugmann. — tekst: http://ceur-ws.org/Vol-1269/paper245.pdf
keywords: translation, model checking, place-transition nets, coloured Petri nets, NuSMV, PetriNet2NuSMV translator
Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Jerzy Biernacki
cyfrowy identyfikator dokumentu: