Description: Communicating Embedded Systems : Software and Design: Formal Methods, Hardcover by Jard, Claude (EDT); Roux, Olivier H. (EDT), ISBN 1848211430, ISBN-13 9781848211438, Brand New, Free shipping in the US This work examines the use of mathematically based formal methods in embedded systems that are linked with other embedded systems, and embedded systems that are connected to other local or remote communication circuit components. It describes elements of current embedded system programs, reviews new research on models and their use, and describes software tools. Chapters cover models for real-time embedded systems, timed model-checking, control and fault diagnosis of timed systems, quantitative verification of Markov chains, tools for model-checking timed systems, and tools for the analysis of hybrid models. Jard is professor at ENS Cachan Campus of Ker-Lann. Roux is assistant professor at Nantes University. Annotation ©2010 Book News, Inc., Portland, OR ()
Price: 154.66 USD
Location: Jessup, Maryland
End Time: 2024-11-04T11:10:56.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Communicating Embedded Systems : Software and Design: Formal Meth
Author: Jard, Claude (EDT); Roux, Olivier H. (EDT)
Language: english
