Automotive Software: A Challenge and Opportunity for Model-Based Software Development
Towards Verification of Model Transformations Via Goal-Directed Certification
Software for Automotive Systems: Model-Integrated Computing
A resilient and secure software platform and architecture for distributed spacecraft [9085-19]
Component Generation Technology for Semantic Tool Integration
Model-Based Programming for Parallel Image Processing
Automating Human Based Negotiation Processes for Autonomic Logistics