Home > 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 | Site Map | Site powered by SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3943401

UGA

CNRS

INP Grenoble