Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité d'aéroports

Authors
Publication date
1 January 2008
Publisher
'Lavoisier'

Abstract

Hermes-LavoisierInternational audienceno abstrac

    Similar works

    Full text

    thumbnail-image

    Available Versions

    HAL - UPEC / UPEM

    redirect
    oaioai:HAL:hal-01224662v1
    Last time updated on 07/05/2019