Analytical Validation Tools for Safety Critical Systems

著录项

• 来源
  《AIAA Infotech@Aerospace Conference and AIAA Unmanned...Unlimited Conference》|2009年|P.1-8|共8页
• 会议地点 Seattle WA(US);Seattle WA(US)
• 作者

  P. Seiler; G. Balas; A. Packard; U. Topcu;

  展开▼
• 作者单位

  University of Minnesota, Minneapolis, MN;

  University of Minnesota, Minneapolis, MN;

  University of California, Berkeley, CA;

  Control and Dynamical Systems, California Institute of Technology, Pasadena, CA;

  展开▼
• 会议组织
• 原文格式 PDF
• 正文语种
• 中图分类 航空、航天技术的研究与探索;
• 关键词