Modelling the collision risk in the Yangtze River using Bayesian networks
Modeling the Image-Processing Behavior of the NASA Voyager Mission with ASSL
Model Based Analysis and Test Generation for Flight Software
Logistics Outsourcing Decision-Making of Manufacturing Enterprise Considering the Switching Costs
Knowledge Management Guided by Economic Valuation Models
Kalman filter process models for urban vehicle tracking
Jitter control for imaging spacecraft
Introspection-Based Verification and Validation
Integrating Software Technologies in RAXEM2 - AI Meets Information Technology
Integrated Information Architectures for Space Missions
Increasing the Efficiency of Next-Generation Space Operations by Exploiting Predictability
Highway Geotechnical Regionalization of Gansu in China