DMCA

Overapproximate model of multitasking application based on timed automata using only one clock (2005)

Cached

Download Links

by Libor Waszniowski , Zdenek Hanzalek
Citations:4 - 2 self