Information Flow Analysis for Probabilistic Timed Automata (2004)

by Ruggero Lanotte , Andrea Maggiolo-Schettini , Angelo Troina
Venue:PROC. OF FAST’04, SPRINGER IFIP 173
Citations:7 - 3 self