Model Based Analysis and Test Generation for Flight Software
Prototype Implementation of a Goal-Based Software Health Management Service
Integrated Information Architectures for Space Missions
Integrating Software Technologies in RAXEM2 - AI Meets Information Technology
Frequency Modulation Based Vibrotactile Device for Teleoperation
Knowledge Management Guided by Economic Valuation Models
Sequential Principal Component Analysis - A Hardware-Implementable Transform for Image Compression