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





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


1
  • Action-based verification of RTCP-nets with CADP
2
  • Hierarchical communication diagrams
3
  • Methods of translation of Petri nets to NuSMV language
4
  • Priority management in Alvis language
5
  • State-based verification of RTCP-nets with nuXmv
6
  • Tools and methods for RTCP-nets modeling and verification