DMCA

SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive

Cached

Download Links

by Karen Godary , Isabelle Augé-blum , Anne Mignotte
Citations:4 - 2 self