Cover Image

UML-B Specification for Proven Embedded Systems Design /

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

Full description

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:	Engineering. Computer system performance. Physics. Engineering design. Computer engineering. Electronics. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Source Code Optimization Techniques for Data Flow Dominated Embedded Software /
by: Falk, Heiko
Published: (2004)

Feedback Control Systems : a Fast-Track Guide for Scientists and Engineers /
by: Abramovici, Alex
Published: (2000)

Analysis and Synthesis of Distributed Real-Time Embedded Systems /
by: Pop, Paul
Published: (2004)

Embedded Processor-Based Self-Test /
by: Gizopoulos, Dimitris
Published: (2004)

Performance of Communication Systems : a Model-Based Approach with Matrix-Geometric Methods /
by: Ost, Alexander
Published: (2001)

Simulation of Communication Systems /
by: Jeruchim, Michel C.
Published: (1992)

Hardware Design and Petri Nets /
by: Yakovlev, Alex
Published: (2000)

Model Generation in Electronic Design /
by: Bergé, Jean-Michel
Published: (1995)

Linear control systems : with solved problems and MATLAB examples /
by: Kisačanin, Branislav, 1968-
Published: (2001)

Satellite Communication Systems Design /
by: Tirró, Sebastiano
Published: (1993)

Subspace Identification for Linear Systems : Theory - Implementation - Applications /
by: Overschee, Peter
Published: (1996)

Low-Power Deep Sub-Micron CMOS Logic : Sub-threshold Current Reduction /
by: Meer, P. R.
Published: (2004)

Analog Circuit Design : Sensor and Actuator Interface Electronics, Integrated High-Voltage Electronics and Power Management, Low-Power and High-Resolution ADC's /
by: Huijsing, J. H.
Published: (2004)

Special Topics in Information Technology /
Published: (2023)

Special Topics in Information Technology /
Published: (2022)

Special Topics in Information Technology /
Published: (2024)

Third Generation Communication Systems : Future Developments and Advanced Topics /
by: Ma, Jian'guo
Published: (2004)

Open Control Networks : LonWorks/EIA 709 Technology /
by: Loy, Dietmar
Published: (2001)

Protocol Specification and Testing /
by: Tarnay, K.
Published: (1991)

Linear System Theory /
by: Callier, Frank M.
Published: (1991)

Robust Model-Based Fault Diagnosis for Dynamic Systems /
by: Chen, Jie
Published: (1999)

Fundamentals of Digital Switching /
by: McDonald, John C.
Published: (1990)

Estimators for Uncertain Dynamic Systems /
by: Matasov, A. I.
Published: (1998)

Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3-6 November 1998, Paris, France /
by: Budkowski, Stan
Published: (1998)

Planning and Architectural Design of Modern Command Control Communications and Information Systems : Military and Civilian Applications /
by: Ince, A. Nejat
Published: (1997)

Identification of Continuous-Time Systems : Methodology and Computer Implementation /
by: Sinha, N. K.
Published: (1991)

Digital Interactive TV and Metadata : Future Broadcast Multimedia /
by: Lugmayr, Artur
Published: (2004)

Multi-Carrier Spread Spectrum & Related Topics /
by: Fazel, Khaled
Published: (2000)

Multi-Carrier Spread-Spectrum /
by: Fazel, Khaled
Published: (1997)

Fieldbus Technology : Industrial Network Standards for Real-Time Distributed Control /
by: Mahalik, N. P. (Nitaigour Premchand)
Published: (2003)

Introduction to Communication Science and Systems /
by: Pierce, John R.
Published: (1980)

Modern Optimisation Techniques in Power Systems /
by: Song, Yong-Hua
Published: (1999)

Communication System Design Using DSP Algorithms : With Laboratory Experiments for the TMS320C6701 and TMS320C6711 /
by: Tretter, Steven A.
Published: (2003)

Competition for the Mobile Internet /
by: Noam, Eli M.
Published: (2003)

Metropolitan Area Networks /
by: Conti, Marco
Published: (1997)

Multifractal Based Network Traffic Modeling /
by: Murali, Krishna P.
Published: (2003)

Communication Systems : The State of the Art IFIP 17th World Computer Congress - TC6 Stream on Communication Systems: The State of the Art August 25-30, 2002, Montréal, Québec, Canada /
by: Chapin, A. Lyman
Published: (2002)

Deep Space Telecommunications Systems Engineering /
by: Yuen, Joseph H.
Published: (1983)

Power Supply Testing Handbook : Strategic Approaches in Test Cost Reduction /
by: Crandall, Earl
Published: (1997)

EMI/EMC Computational Modeling Handbook /
by: Archambeault, Bruce
Published: (1998)