Cited By
View all- Liu HLiu JSun HLi TZhang J(2022)Uncertainty-Aware Behavior Modeling and Quantitative Safety Evaluation for Automatic Flight Control Systems2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS)10.1109/QRS57517.2022.00062(549-560)Online publication date: Dec-2022
- Incerto ENapolitano ATribastone M(2020)Inferring Performance from Code: A ReviewLeveraging Applications of Formal Methods, Verification and Validation: Verification Principles10.1007/978-3-030-61362-4_17(307-322)Online publication date: 29-Oct-2020
- Lüttgau JKunkel J(2019)Cost and Performance Modeling for Earth System Data Management and BeyondHigh Performance Computing10.1007/978-3-030-02465-9_2(23-35)Online publication date: 25-Jan-2019
- Show More Cited By