Temporal validation of Real Time multitasking applications based on communicating timed automata.

Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz

Browse the full FDL paper archive.