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

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

[IEEE 2011 IEEE 6th International Workshop on Electronic Design, Test and Application (DELTA) - Queenstown, New Zealand (2011.01.17-2011.01.19)] 2011 Sixth IEEE International Symposium on Electronic Design, Test and Application - An Industrial Application of Model Checking to a Vessel Control System

[IEEE 2011 IEEE 6th International Workshop on Electronic Design, Test and Application (DELTA) - Queenstown, New Zealand (2011.01.17-2011.01.19)] 2011 Sixth IEEE International Symposium on Electronic Design, Test and Application - An Industrial Application of Model Checking to a Vessel Control System

Keating, Daniel; McInnes, Allan; Hayes, Michael

作者Keating, Daniel; McInnes, Allan; Hayes, Michael
文件大小419.28KB
发表时间2011
DOI10.1109/delta.2011.24
页码83-88

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