Overview
- Presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUSSEE)
- Shows the success of research, as acknowledged by the European reviewers
- Introduces the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (18 chapters)
Authors, Editors and Affiliations
Bibliographic Information
Book Title: UML-B Specification for Proven Embedded Systems Design
Authors: Fredrik Bernin, Michael Butler, Dominique Cansell, Stefan Hallerstede, Klaus Kronlöf, Alexander Krupp, Thierry Lecomte, Michael Lundell, Ola Lundkvist, Michele Marchetti, Wolfgang Mueller, Ian Oliver, Denis Sabatier, Tim Schattkowsky, Colin Snook, Nikolaos S. Voros, … Yann Zimmermann
Editors: Jean Mermet
DOI: https://doi.org/10.1007/978-1-4020-2867-0
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media New York 2004
Hardcover ISBN: 978-1-4020-2866-3Published: 31 December 1899
Softcover ISBN: 978-1-4419-5256-1Published: 03 December 2010
eBook ISBN: 978-1-4020-2867-0Published: 19 March 2013
Edition Number: 1
Number of Pages: IX, 300
Number of Illustrations: 48 b/w illustrations
Topics: Electrical Engineering, Complexity, Mathematical Modeling and Industrial Mathematics, System Performance and Evaluation, Engineering Design, Electronics and Microelectronics, Instrumentation