Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Cover of the book

2004 | OriginalPaper | Chapter

From Software to Hardware and Back

Author : Paul Feautrier

Published in: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Publisher: Springer Berlin Heidelberg

Included in: Professional Book Archive

Get Access

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

One of the techniques for the formal design of embedded systems is – or should be – Behavioral Synthesis. Among its many advantages, one can quote easier testing and more complete architecture exploration.

next chapter Of Elections and Electrons
Metadata
Title
From Software to Hardware and Back
Author
Paul Feautrier
Copyright Year
2004
Publisher
Springer Berlin Heidelberg
Book
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Print ISBN: 978-3-540-23167-7

Electronic ISBN: 978-3-540-30206-3

Copyright Year: 2004

DOI
https://doi.org/10.1007/978-3-540-30206-3_1

Premium Partner

    Image Credits