GitHub repository: Baoyx007/aadl2uppaal
Primary language: Java
Created: 2015-09-15T13:27:04Z
Description: A Tool-Chain for Quantitative Evaluation of Uncertainty-Aware Hybrid AADL Designs