发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE 2007 IEEE Aerospace Conference - Big Sky, MT, USA (2007.03.3-2007.03.10)] 2007 IEEE Aerospace Conference - Applying a Formal Requirements Method to Three NASA Systems: Lessons Learned

[IEEE 2007 IEEE Aerospace Conference - Big Sky, MT, USA (2007.03.3-2007.03.10)] 2007 IEEE Aerospace Conference - Applying a Formal Requirements Method to Three NASA Systems: Lessons Learned

Heitmeyer, L.; Jeffords, Ralph D.

作者Heitmeyer, L.; Jeffords, Ralph D.
文件大小12633.65KB
发表时间2007
DOI10.1109/aero.2007.352764
页码1-10

← 返回【学霸图书馆】主页