Formal Methods for the Design of Real-Time Systems View on Open Library

Formal Methods for the Design of Real-Time Systems

by Marco Bernardo , Flavio Corradini

No reviews yet
First published: 2004 1 language ISBN: 9783540300809

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Marco Bernardo

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Formal Methods for the Quantitative Eval...

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 Quantitative Aspects of Programming Languages

Formal Methods for Quantitative Aspects ...