Accueil > Verimag > Publications

Technical Reports

Iulian Ober, Susanne Graf and David Lesens
A case study in UML model-based validation: The Ariane-5 launcher software (2005)

TR-2005-9.pdf

Keywords: UML, real-time, verification

Abstract:

Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4159443

UGA

CNRS

INP Grenoble