Validating temporal properties of a deployed application with an MDA approach 

Abstract

International audienc

    Similar works

    Full text

    thumbnail-image