Modeling of avionics applications and performance evaluation techniques using the synchronous language SIGNAL

Electronic Notes in Theoretical Computer Science

Volumn 88, Issue , 2004, Pages 87-103

  Gamatié, Abdoulaye ^a   Gautier, Thierry ^a   Besnard, Loïc ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

ARINC; Avionics applications; Performance evaluation; SIGNAL; Synchronous modeling of asynchrony

Indexed keywords

AVIONICS; CODES (SYMBOLS); COMPUTER SIMULATION; EMBEDDED SYSTEMS; MATHEMATICAL MODELS; REAL TIME SYSTEMS; SIGNAL PROCESSING;

ARINC; AVIONICS APPLICATIONS; PERFORMANCE EVALUATION; SIGNAL; SYNCHRONOUS MODELING OF ASYNCHRONY;

COMPUTER PROGRAMMING LANGUAGES;

EID: 18944377419     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2003.05.002     Document Type: Conference Paper

References (0)