"A refinement checking based strategy for component-based systems evolution."

José Dihego, Augusto Sampaio, Marcel Oliveira (2020)

Details and statistics

DOI: 10.1016/J.JSS.2020.110598

access: closed

type: Journal Article

metadata version: 2024-06-12

a service of  Schloss Dagstuhl - Leibniz Center for Informatics