model.aadl.out 189 Bytes
Newer Older
1
2
taste_properties.aadl:19:08:  (record type element)  points to Supported_Source_Language (property definition declaration) , which is not a property type
Cannot analyze AADL specifications