mariëlle stoelinga
Formal Modeling and Analysis of Timed Systems
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 17th International Conference on Formal Mod...
Quantitative Evaluation of Systems
EbookSofort lieferbarThis book constitutes the thoroughly refereed proceedings of the 10th International Conference on...
Formal Methods for Industrial Critical Systems
EbookSofort lieferbarThis book constitutes the proceedings of the 17th International Workshop on Formal Methods for In...
Stochastic Model Checking
EbookSofort lieferbarThe use of stochastic models in computer science is wide spread, for instance in performance mode...
Fundamental Approaches to Software Engineering
TaschenbuchPrint on DemandThis open access book constitutes the proceedings of the 24th International Conference on Fundame...
Stochastic Model Checking
TaschenbuchNicht lieferbarThe use of stochastic models in computer science is wide spread, for instance in performance mode...
- 1