Relative observability Plug-In

Relative observability Plug-In

Relative observability Plug-In

Relative observability Plug-In

Relative observability Plug-In

Marián Pochyba
Thesis: Relative observability
Tool
Description: This tool implements the algorithms for verification of observability and relative observability of systems (languages) represented by finite automata as a plug-in for the C++ library libFAUDES.