Publisher
Springer International Publishing
Reference40 articles.
1. Test-ablauf - So testet die Stiftung Warentest. https://www.test.de/unternehmen/testablauf-5017344-0/ . Accessed 30 June 2020
2. The Official Site of The European New Car Assessment Programme. https://www.euroncap.com/en/ . Accessed 30 June 2020
3. Alur, R.: Principles of Cyber-Physical Systems. The MIT Press, Cambridge (2015)
4. Apel, S., Batory, D., Kästner, C., Saake, G.: Feature-Oriented Software Product Lines: Concepts and Implementation. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-37521-7
5. Apel, S., Kästner, C.: An overview of feature-oriented software development. J. Object Technol. 8, 49–84 (2009)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access;Lecture Notes in Computer Science;2023
2. Analyzing neural network behavior through deep statistical model checking;International Journal on Software Tools for Technology Transfer;2022-12-13
3. Configurable-by-Construction Runtime Monitoring;Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022
4. Lab Conditions for Research on Explainable Automated Decisions;Trustworthy AI - Integrating Learning, Optimization and Reasoning;2021
5. Momba: JANI Meets Python;Tools and Algorithms for the Construction and Analysis of Systems;2021