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

Formal Methods for the Design of Real-Time Systems

by Unknown Author

297 pages2004Springer London, LimitedISBN 9783540300809
EchtzeitsystemFormale MethodeZeitbehafteter AutomatZeitbewertetes Petri-NetzZeitdiskretes SystemKongressBertinoro <2004>
Open in BookOwlDownload on App Store

Publication Details

Publisher
Springer London, Limited
Published
2004
Pages
297
ISBN
9783540300809

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 Quantitative Evaluation of Collective Adaptive Systems

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Unknown Author

Track your reading journey with BookOwl

Open in BookOwlDownload on App Store