Detail výsledku

Formal Logic Based Framework for Network Configuration Analysis

RYŠAVÝ, O. Formal Logic Based Framework for Network Configuration Analysis. Brno: Faculty of Information Technology BUT, 2015. 127 p.
Typ
habilitační práce
Jazyk
anglicky
Autoři
Ryšavý Ondřej, doc. Ing., Ph.D., UIFS (FIT)
Rok
2015
Strany
127
Vydavatel
Faculty of Information Technology BUT
Místo
Brno
BibTeX 
@misc{BUT193143,
  author="Ondřej {Ryšavý}",
  title="Formal Logic Based Framework for Network Configuration Analysis",
  year="2015",
  pages="127",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  url="https://www.fit.vut.cz/research/publication/12547/"
}
Soubory
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru