Check the observability and controlability of a device from a model
After compilation in folder bin
java -cp bin:lib/commons-cli-1.4.jar main.Main -i <dot file> -d <folder containing the DAGs>
<dot file> : your input dot file.
Elblot/testability
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|