Contribution to model verification: operational semantic for System Engineering modeling languages

Authors
Publication date
1 June 2014
Publisher
HAL CCSD

Abstract

Travaux de doctorantsNational audienc

    Similar works

    Full text

    thumbnail-image

    Available Versions

    HAL Descartes

    redirect
    oaioai:HAL:lirmm-01377604v1
    Last time updated on 14/04/2021

    Hal-Diderot

    redirect
    oaioai:HAL:lirmm-01377604v1
    Last time updated on 14/04/2021