Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction

Synthesis of Embedded Software Sandeep K. Shukla  Jean-Pierre Talpin Editors Synthesis of Embedded Software Fram...

20 downloads 289 Views 4MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

Recommend Documents

Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 2231 3 Berlin Heidelberg New Y...

The Correctness-by-Construction Approach to Programming Derrick G. Kourie  Bruce W. Watson The Correctness-by-Con...

The Correctness-by-Construction Approach to Programming Derrick G. Kourie  Bruce W. Watson The Correctness-by-Con...

Wireless Security The Newnes Know It All Series PIC Microcontrollers: Know It All Lucio Di Jasio, Tim Wilmshurst, Dog...

Embedded Hardware Newnes Know It All Series PIC Microcontrollers: Know It All Lucio Di Jasio, Tim Wilmshurst, Dogan I...

Memory Management for Synthesis of DSP Software Memory Management for Synthesis of DSP Software Praveen K. Murthy Shu...

POWER ESTIMATION AND OPTIMIZATION METHODOLOGIES FOR VLIW-BASED EMBEDDED SYSTEMS This page intentionally left blank ...

H795-Prelims.qxd 07/16/05 7:19 PM Page i Embedded Software: The Works H795-Prelims.qxd 07/16/05 7:19 PM Page i...

Embedded Software: The Works Embedded Software: The Works Colin Walls AMSTERDAM • BOSTON • HEIDELBERG • LONDON NEW Y...