Author:
Greenyer Joel,Brenner Christian,Cordy Maxime,Heymans Patrick,Gressi Erika
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Early timing analysis based on scenario requirements and platform models;Software and Systems Modeling;2022-04-28
2. Assured Mission Adaptation of UAVs;ACM Transactions on Autonomous and Adaptive Systems;2021-12-31
3. LIFTS;Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B;2021-09-06
4. A Formal Framework of Software Product Line Analyses;ACM Transactions on Software Engineering and Methodology;2021-07-31
5. Deadlock Detection Examples: The Dedan Environment at Work;Studies in Computational Intelligence;2019-03-17