学位论文

已选条件：
× automata

全选【符合条件的数据共：4条】

1 A novel cellular automata based estuarine morphodynamic model [学位论文]

作者:Bentley, Ian, Sloan, William

论文开放时间:2015

关键词:estuaries,;coastal,;...

培养单位:University:University of Glasgow

预览 | 原文链接 | 全文 [ 浏览：1 下载：0 ]

摘要

2 Automatic techniques for proving correctness of heap-manipulating programs [学位论文]

作者:Qiu, Xiaokang

论文开放时间:2013

关键词:program verification;heap analysis;...

培养单位:

预览 | 原文链接 | 全文 [ 浏览：0 下载：0 ]

摘要

3 An Automaton-Theoretic View of Algebraic Specifications [学位论文]

作者:Lahav, Elad

论文开放时间:2005

关键词:Computer Science;automaton;...

培养单位:University of Waterloo

预览 | 原文链接 | 全文 [ 浏览：3 下载：1 ]

摘要

4 Reasoning of Safety-Critical Medical Devices using Formal Methods. [学位论文]

作者:Jetley, Raoul Praful;DR. S. PURUSHOTHAMAN IYER, Committee Chair,DR. ANNIE I. ANTÃ“N, Committee Member,DR. JOHN W. BAUGH, Committee Member,Jetley, Raoul Praful;DR. S. PURUSHOTHAMAN IYER;等

论文开放时间:2003

关键词:automata;verification;...

培养单位:University:North Carolina State University

预览 | 原文链接 | 全文 [ 浏览：1 下载：0 ]

摘要