Vol-3143⫷ Vol-3144 ⫸Vol-3145
urn:nbn:de:0074-3144-0


Vol-3144/RP-paper5⫷Vol-3144/RP-paper6⫸Vol-3144/RP-paper7
Pekka AhoTanja E. J. VosOtto SybrandiSorin PatrasoiuJoona OikarinenOlivia Rodriguez ValdesLianne V. Hufkens

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