分类导航

检索结果

已选条件:

2012

<符合条件的数据共：12条>

排序方式

登录后可批量下载(统一登录，激活码登录)

Symbolic string execution

颁布单位：[Stellenbosch University] | 颁布时间：2012 | 实施时间：2012 | 学科分类：[["Automated, test, generation",, "Symbolic, string, execution",, "Dissertations, --, Computer, science",, "Theses, --, Computer, science",, "Dissertations, --, Mathematical, sciences",, "Theses, --, Mathematical, sciences",, "Mathematical, Sciences"]]

预览 | 原文链接 [浏览：4 下载：1]
Automated program generation : bridging the gap between model and implementation

颁布单位：[Stellenbosch University] | 颁布时间：2012 | 实施时间：2012 | 学科分类：[["Computer, software, --, Verification",, "Theses, --, Computer, science",, "Dissertations, --, Computer, science"]]

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