Treffer: A Counterexample Analysis Method for Assume-Guarantee Verification of Component-Based Software
Title:
A Counterexample Analysis Method for Assume-Guarantee Verification of Component-Based Software
Authors:
Source:
2021 13th International Conference on Knowledge and Systems Engineering (KSE) Knowledge and Systems Engineering (KSE), 2021 13th International Conference on. :1-6 Nov, 2021
Relation:
2021 13th International Conference on Knowledge and Systems Engineering (KSE)
Database:
IEEE Xplore Digital Library