Products

Automated Scheduling and Planning

Automated Scheduling and Planning

Automated Security Management

Automated Security Management

Automated Software and Service Composition

Automated Software Engineering: A Deep Learning-Based Approach

Automated Software Testing

Automated Solution of Differential Equations by the Finite Element Method

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Automated Workflow Scheduling in Self-Adaptive Clouds

Automatentheorie und Logik

Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects

Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects

Automatic Assessment of Parkinsonian Speech

Automatic Calibration and Reconstruction for Active Vision Systems

Automatic Control Systems in Biomedical Engineering

Automatic Control Systems in Biomedical Engineering

Automatic Control with Experiments

Automatic Control, Robotics, and Information Processing

Automatic Differentiation: Applications, Theory, and Implementations

Automatic Gain Control