Using Factored Bond Graphs for Distributed Diagnosis of Complex Systems
Indranil Roychoudhury
Published at: International Conference on Bond Graph Modeling and Simulation
Date: 04/11/10
The Unique Aspects of Simulation Verification and Validation as Related to Software Verification, Test and Certification
Wen Liu,
Michael Lowry,
Tom Pressburger,
Danny Thomas,
Alexia Joiner
Published at: IEEE Aerospace Conference
Date: 03/06/10
Tactics for Hierarchical Proof
Ewen Denney,
David Aspinall,
Christoph Lüth
Published at: JA: Mathematics in Computer Science
Date: 03/05/10
A Design Framework for Integrating Instruments, Software, Processes, and Organization in Telerobotic M
William Clancey
Published at: Design Theory Workshop of the International Design Society
Date: 02/01/10