Files
The following files are accessible for review of the paper titled “A statistical approach for timed reachability in AADL models”:
- Case study files
- Full, formal description of the SLIM language semantics
- Toolset files, licensed under the CPL.
- Toolset addon files, licensed under the FBK’s Additional Components License.