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. Language: English