Sciweavers

DSRT
2004
IEEE

Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata

14 years 3 months ago
Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata
Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where DSRT
Authors Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz
Comments (0)