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

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

[IEEE 2008 IEEE/AIAA 27th Digital Avionics Systems Conference (DASC) - St. Paul, MN, USA (2008.10.26-2008.10.30)] 2008 IEEE/AIAA 27th Digital Avionics Systems Conference - Software model checking for avionics systems

[IEEE 2008 IEEE/AIAA 27th Digital Avionics Systems Conference (DASC) - St. Paul, MN, USA (2008.10.26-2008.10.30)] 2008 IEEE/AIAA 27th Digital Avionics Systems Conference - Software model checking for avionics systems

Cofer, Darren; Whalen, Michael; Miller, Steven

作者Cofer, Darren; Whalen, Michael; Miller, Steven
文件大小412.41KB
发表时间2008
DOI10.1109/dasc.2008.4702862

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