Communicating embedded systems : software and design : formal methods

Communicating embedded systems : software and design : formal methods / edited by Claude Hard, Olivier H. Roux.

The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a cl...

Full description

Saved in:
Bibliographic Details
Other Authors: Jard, Claude, Roux, Olivier H.
Format: eBook
Language:English
French
Published: London : Hoboken : ISTE, Ltd. ; Wiley, 2010.
Series:ISTE.
Subjects:
Embedded computer systems > Programming.
Embedded computer systems > Design and construction.
Formal methods (Computer science)
COMPUTERS > Computer Engineering.
COMPUTERS > Hardware > General.
COMPUTERS > Machine Theory.
Embedded computer systems > Design and construction
Embedded computer systems > Programming
Online Access:Click for online access
Description
Summary:The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools.
Physical Description:1 online resource (275 pages)
Bibliography:Includes bibliographical references and index.
ISBN:9781118558188
1118558189
9781118600122
1118600126
9781118600092
1118600096
1848211430
9781848211438
1299187455
9781299187450
Source of Description, Etc. Note:Print version record.

Similar Items