IVVES (Industrial-Grade Verification and Validation of Evolving Systems).

Pekka Aho, Tanja E. J. Vos, Otto Sybrandi, Sorin Patrasoiu, Joona Oikarinen, Olivia Rodrguez-Valds, Lianne V. Hufkens

Browse the full RCIS paper archive.