Cover of Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

by Unknown Author

2016Springer International Publishing AGISBN 9783319340951
Technology
Open in BookOwlDownload on App Store

Publication Details

Publisher
Springer International Publishing AG
Published
2016
ISBN
9783319340951

More by Unknown Author

Cover of Probabilistic Trace and Testing Semantics

Probabilistic Trace and Testing Semantics

Unknown Author

Cover of Process Algebraic Approach to Software Architecture Design

Process Algebraic Approach to Software Architecture Design

Unknown Author

Cover of Formal Methods for Executable Software Models

Formal Methods for Executable Software Models

Unknown Author

Cover of Formal Methods for Multicore Programming

Formal Methods for Multicore Programming

Unknown Author

Cover of Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Unknown Author

Cover of Formal Methods for the Design of Real-Time Systems

Formal Methods for the Design of Real-Time Systems

Unknown Author

Track your reading journey with BookOwl

Open in BookOwlDownload on App Store