Mariëlle Stoelinga Editor

A Journey from Process Algebra via Timed Automata to Model Learning

3 contributors - Paperback

£44.99

Stochastic Model Checking

2 contributors - Paperback

£39.99

Fundamental Approaches to Software Engineering

2 contributors - Paperback

£34.99

Formal Modeling and Analysis of Timed Systems

2 contributors - Paperback

£44.99