Treffer: Towards a Model-Based Framework for Automated Traceable Systems and Probabilistic Model Checking

Title:
Towards a Model-Based Framework for Automated Traceable Systems and Probabilistic Model Checking
Authors:
Wang, Haochi, Wang, Yingquan, Wei, Ran, Zhao, Xudong
Source:
2025 6th International Conference on Computer Engineering and Application (ICCEA) Computer Engineering and Application (ICCEA), 2025 6th International Conference on. :01-06 Apr, 2025
Relation:
2025 6th International Conference on Computer Engineering and Application (ICCEA)
Database:
IEEE Xplore Digital Library