Information Flow Analysis for Probabilistic Timed Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina. Information Flow Analysis for Probabilistic Timed Automata. In Theodosis Dimitrakos, Fabio Martinelli, editors, Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France. pages 13-26, Springer, 2004. [doi]

This author has not been identified. Look up 'Ruggero Lanotte' in GoogleThis author has not been identified. Look up 'Andrea Maggiolo-Schettini' in GoogleThis author has not been identified. Look up 'Angelo Troina' in Google

runs on WebDSL