UML-B Specification for Proven Embedded Systems Design

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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Bernin, Fredrik (VerfasserIn), Butler, Michael (VerfasserIn), Cansell, Dominique (VerfasserIn), Hallerstede, Stefan (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Boston, MA Springer US 2004
Schlagworte:	Engineering Electrical Engineering Complexity Mathematical Modeling and Industrial Mathematics System Performance and Evaluation Engineering Design Electronics and Microelectronics, Instrumentation Computer system failures Mathematical models Complexity, Computational Engineering design Electrical engineering Electronics Microelectronics
Online-Zugang:	FHI01 BTU01 URL des Erstveröffentlichers
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!