Marte CCSL to Execute East-ADL Timing Requirements.

Frédéric Mallet Marie-Agnès Peraldi-Frati Charles André

Published in: ISORC (2009)

Keyphrases

description language
user requirements
functional requirements
three dimensional
general purpose
software systems
data sets
databases
information systems
case study
real time systems