Overview

Full Product Details

Author:   Jean-Claude Baron ,  J.C. Geffroy ,  G. Motet
Publisher:   Springer-Verlag New York Inc.
Imprint:   Springer-Verlag New York Inc.
Edition:   Softcover reprint of the original 1st ed. 1997
Dimensions:   Width: 17.00cm , Height: 1.80cm , Length: 24.40cm
Weight:   0.595kg
ISBN:  

9781441951793

ISBN 10:   1441951792
Pages:   324
Publication Date:   07 December 2010
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

1 The Joint Systems/Software Engineering Environment (Josee) Concept at Lockheed Martin Aeronautical Systems.- 2 Current Modeling in Vital.- 3 Edgar: A Platform for Hardware/Software Codesign.- 4 Hierarchical Multi-Views Modeling Concepts for Discrete Event Systems Simulation.- 5 A Formal System for Correct Hardware Design.- 6 Integration of Behavioral Testability Metrics in High Level Synthesis.- 7 Evaluation of an Integrated High-Level Synthesis Method.- 8 Combinatorial Criteria Over Graphs of Specification to Decide Synthesis by Sequential Circuits.- 9 Automatic Generation and Optimisation of Markov Matrices.- 10 Fault Modeling in Space-Borne Reconfigurable Microelectronic Systems.- 11 Prevention of Replication Induced Failures in the Context of Integrated Modular Avionics.- 12 Petri Net Modeling and Behavioral Fault Modeling Scheme for Vhdl Descriptions.- 13 Catsat’s Soft X-Ray Detection System: An Innovative and Cost Effective Approach.- 14 Petri Nets for a Space Operational System Availability Study.- 15 Results of Low-Cost Propulsion System Research for Small Satellite Application.- 16 Multiple Technology Choices for a Mixed Analog-Digital Space Radio-Astronomy Spectrometer.- 17 Design and Realization of a Synchronous Cooperative Shared Electronic Board.- 18 Importance of Specification Means to Design Integrated Modular Avionics Systems.- 19 Industrial Cooperation: Definition, Interest and Dynamic Evolution.- 20 Multimedia Educational Issues in a Variety of Learning Contexts.- 21 Surf-2 a Tool for Dependability Modeling and Evaluation.- 22 Submicron Circuit Design on PC.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions