Probabilistic Timed Automata for Security Analysis and Design

by Angelo Troina , Supervisor Prof , Andrea Maggiolo Schettini , Referee Prof , Catuscia Palamidessi , Referee Prof , Christel Baier
Citations:1 - 1 self