Publisher
Springer International Publishing
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Enhancing Probabilistic Model Checking with Ontologies;Formal Aspects of Computing;2021-05-26
2. From features to roles;Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A;2020-10-19
3. Qualitative Controller Synthesis for Consumption Markov Decision Processes;Computer Aided Verification;2020
4. Ontology-Mediated Probabilistic Model Checking;Lecture Notes in Computer Science;2019
5. Using PVS for Modeling and Verification of Probabilistic Connectors;Fundamentals of Software Engineering;2019