Publications
Export 1 results:
Author Title Type [ Year
] Filters: Author is Sotiropoulos, Panagiotis and Keyword is Model-based checking [Clear All Filters]
.
2025. A generalized, rule-based method for the detection of intermittent faults in software programs. Journal of Systems and Software. 219:112228.