Format:
Table of Contents: “... Bounded Exhaustive Input Generation from Program APIs -- 1 Introduction -- 2 A Motivating Example -- 3...”
Click to View

Format:
Table of Contents: “... of Validating Worst-Case Analyses -- 3.2 GenE: Benchmark Generator for WCET Tools....”
Click to View

Format:
Table of Contents: “...Intro -- Inhaltsverzeichnis -- 1 Virtual Reality based Assembly Process Validation and Rework...”
Click to View

Format:
Table of Contents: “... -- Wi-Fi Alliance -- Core Programs -- Optional Programs -- International Organization...”
Click to View

Format:
Table of Contents: “... The Modelling Energy System Software (MoCES) -- 4.1 Data Organizing -- 4.2 Programming Interface -- 4.3 Data...”
Click to View

Format:
Table of Contents: “... Safety Components -- 3.2 Development of the Planning, Communication and Verification Software -- 3...”
Click to View

Format:
Table of Contents: “... Development (ISD) -- 2.2 Requirements Engineering (RE) -- 2.3 Software Requirements Specification (SRS) -- 2...”
Click to View

Format:
Table of Contents: “...) Survey and the SEEP/W Program -- 1 Introduction -- 2 Methodology -- 3 Results and Discussion -- 3...”
Click to View

Format:
Table of Contents: “... State of the Art -- 3 Software -- 3.1 Programming Environment -- 3.2 Light Fixture Detection -- 3.3 GUI...”
Click to View

Format:
Table of Contents: “... electronics based distribution system -- 2.4 Status of solid state transformer developments -- 2.5 Smart grid...”
Click to View