Author:
Tribastone Mirco,Gilmore Stephen
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Uncertainty-Aware Behavior Modeling and Quantitative Safety Evaluation for Automatic Flight Control Systems;2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS);2022-12
2. Inferring Performance from Code: A Review;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020
3. Cost and Performance Modeling for Earth System Data Management and Beyond;Lecture Notes in Computer Science;2018
4. Towards Software Performance by Construction;Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018
5. DiffLQN;Companion Publication for ACM/SPEC on International Conference on Performance Engineering;2016-03-12