Publication Details

Formal Logic Based Framework for Network Configuration Analysis

RYŠAVÝ Ondřej. Formal Logic Based Framework for Network Configuration Analysis. Brno: Faculty of Information Technology BUT, 2015.

Type

habilitation

Language

english

Authors

Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS FIT BUT)

Published

2015

Pages

127

Publisher

Faculty of Information Technology BUT

Place

Brno, CZ

Files