Verimag

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

info visites 776225