UML-B Specification for Proven Embedded Systems Design presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUSSEE) as conceived in the course of the research during 2002 - 2003. The goal of the research in this project was to...
Bibliographic Details
| Main Author: |
Bernin, Fredrik |
|---|
| Corporate Author: |
SpringerLink (Online service) |
|---|
| Other Authors: |
Butler, Michael,
Cansell, Dominique,
Hallerstede, Stefan,
Kronlöf, Klaus,
Krupp, Alexander,
Lecomte, Thierry,
Lundell, Michael,
Lundkvist, Ola,
Marchetti, Michele,
Mueller, Wolfgang,
Oliver, Ian,
Sabatier, Denis,
Schattkowsky, Tim,
Snook, Colin,
Voros, Nikolaos S.,
Zimmermann, Yann,
Mermet, Jean |
|---|
| Format: | eBook
|
|---|
| Language: | English |
|---|
| Published: |
Boston, MA :
Springer US,
2004.
|
|---|
| Subjects: | |
|---|
| Online Access: | Connect to the full text of this electronic book
|
|---|