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.8 + AHUNTSIC [CC License]

info visites 3953354

UGA

CNRS

INP Grenoble