Holger Hermanns
Holger Hermanns
4 ספרים במאגר
ספרים
Interactive Markov ChainsHolger Hermanns
Interactive Markov Chains
Holger Hermanns · 2002
Measurement, Modelling and Evaluation of Computing SystemsHolger Hermanns
Measurement, Modelling and Evaluation of Computing Systems
Holger Hermanns · 2020
Tools and Algorithms for the Construction and Analysis of SystemsHolger Hermanns
Tools and Algorithms for the Construction and Analysis of Systems
Holger Hermanns · 2006
Process Algebra and Probabilistic Methods : Performance Modeling and VerificationHolger Hermanns
Process Algebra and Probabilistic Methods : Performance Modeling and Verification
Holger Hermanns · 2003
ספרים משותפים ואוספים
ספרים שבהם Holger Hermanns מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Validation of stochastic systemsChristel Baier
Validation of stochastic systems
Christel Baier · 2004
Computer Aided VerificationWerner Damm
Computer Aided Verification
Werner Damm · 2007
CONCUR 2006 - Concurrency TheoryChristel Baier
CONCUR 2006 - Concurrency Theory
Christel Baier · 2006
Lectures on Formal Methods and Performance AnalysisEd Brinksma
Lectures on Formal Methods and Performance Analysis
Ed Brinksma · 2003