Wykaz publikacji wybranego autora

Agnieszka Biernacka, mgr inż.

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

Identyfikatory Autora

ORCID: brak

ResearcherID: brak

Scopus: brak

wydruk:

sortowanie:

1

[referat, 2015]

Tytuł	Action-based verification of RTCP-nets with CADP
Autorzy	Jerzy BIERNACKI, Agnieszka BIERNACKA, Marcin SZPYRKA
Źródło	ICCMSE 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. 100010-1–100010-4

2

[referat, 2015]

Tytuł	State-based verification of RTCP-nets with nuXmv
Autorzy	Agnieszka BIERNACKA, Jerzy BIERNACKI, Marcin SZPYRKA
Źródło	ICCMSE 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. 100011-1–100011-4