Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

View on Open Library

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

by Marco Bernardo , Rocco De Nicola , Jane Hillston

No reviews yet

First published: 2016 1 language ISBN: 9783319340968

Subjects

Operating systems (computers)

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Marco Bernardo

Formal Methods for Dynamical Systems

Formal Methods for Dynamical Systems

Formal Methods for Multicore Programming

Formal Methods for Multicore Programming

Formal Methods for Executable Software Models

Formal Methods for Executable Software M...

Formal Methods for Eternal Networked Software Systems

Formal Methods for Eternal Networked Sof...

Formal Methods for the Design of Real-Time Systems

Formal Methods for the Design of Real-Ti...

Formal Methods for Quantitative Aspects of Programming Languages

Formal Methods for Quantitative Aspects ...

You Might Also Like

More in Operating systems (c...

The Autobiography of Benjamin Franklin

The Autobiography of Benjamin Franklin

Benjamin Franklin

Interactive Computing Series

Interactive Computing Series

Kenneth C. Laudon

Mastering today's software

Mastering today's software

Edward G. Martin

Upgrading and repairing PCs

Upgrading and repairing PCs

Scott Mueller

I-Series

Stephen Haag

Defense acquisitions

Defense acquisitions

United States. General Accounting Office