Validation of Stochastic Systems

Beschreibung

Autor*in

Christel Baier

Themen in »Validation of Stochastic Systems«

Computation Tree Logic Markov models algorithms automata formal methods logic modeling probabilistic automata probabilistic systems probabilistic timed systems randomized algorithms state space analysis stochastic process algebras stochastic systems stochastic systems modeling

Stimmen zu »Validation of Stochastic Systems«

Details

Link teilen