Sciweavers

66
Voted
DSRT
2004
IEEE

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

15 years 18 days 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)