Uml-B Specification for Proven Embedded Systems Design

by Jean Mermet

Book Overview

This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as conceived in the course of the research during 2002 -2003. The initial statement of the research was formulated as follows: The objective of PUSSEE is to introduce the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system...

• Format: Hardcover
• Language: English
• ISBN: 1402028660
• ISBN13: 9781402028663
• Release Date: December 1899
• Publisher: Springer
• Length: 300 Pages
• Weight: 1.54 lbs.
• Dimensions: 0.8" x 6.3" x 9.5"