example_001.aadl.out 238 Bytes
Newer Older
1
2
3
example_001.aadl:5:01:  (package name) is not a package or a property set visible or existing
example_001.aadl:5:27: Safety_Properties (identifier) is not a package or a property set visible or existing
Cannot analyze AADL specifications