Wykaz publikacji wybranego autora

Agnieszka Biernacka, mgr inż.

doktorant

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej

Identyfikatory Autora

ORCID: brak

ResearcherID: brak

Scopus: brak

1
  • [artykuł w czasopiśmie, 2016]
  • TytułHierarchical communication diagrams
    AutorzyMarcin SZPYRKA, Piotr MATYASIK, Jerzy BIERNACKI, Agnieszka BIERNACKA, Michał WYPYCH, Leszek KOTULSKI
    ŹródłoComputing and Informatics / Slovak Academy of Sciences. Institute of Informatics. — 2016 vol. 35 no. 1, s. 55–83

  • keywords: Alvis language, hierarchical communication diagrams, flat representation, analysis operation, synthesis operation

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Piotr Matyasik, Leszek Kotulski, Michał Wypych, Jerzy Biernacki

    cyfrowy identyfikator dokumentu:

2
  • [referat w czasopiśmie, 2014]
  • TytułMethods of translation of Petri nets to NuSMV language
    AutorzyMarcin SZPYRKA, Agnieszka BIERNACKA, Jerzy BIERNACKI
    ŹródłoCEUR Workshop Proceedings [Dokument elektroniczny]. - Czasopismo elektroniczne. — 2014 vol. 1269, s. 245–256. — 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:

3