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

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

Assuring Safety in Air Traffic Control Systems with Argumentation and Model Checking

Assuring Safety in Air Traffic Control Systems with Argumentation and Model Checking

Gómez, Sergio Alejandro; Goron, Anca; Groza, Adrian; Letia, Ioan Alfred

期刊名称Expert Systems with Applications
作者Gómez, Sergio Alejandro; Goron, Anca; Groza, Adrian; Letia, Ioan Alfred
印刷ISSN0957-4174
文件大小1093.52KB
发表时间2015-9
DOI10.1016/j.eswa.2015.09.027

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