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

info visites 4086960