Relative observability Plug-In
Z ApolloWiki
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.