Detail publikace
Formal Logic Based Framework for Network Configuration Analysis
RYŠAVÝ Ondřej. Formal Logic Based Framework for Network Configuration Analysis. Brno: Fakulta informačních technologií VUT v Brně, 2015.
Typ
habilitace
Jazyk
angličtina
Autoři
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT)
Rok
2015
Strany
127
Vydavatel
Fakulta informačních technologií VUT v Brně
Místo
Brno, CZ
Soubory