分类导航

检索结果

已选条件:

(Electronic

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

排序方式

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

A model checker for the LF system

颁布单位：[Stellenbosch University] | 颁布时间：2007 | 实施时间：2007 | 学科分类：[["Computer, programs, --, Verification",, "Computer, software, --, Verification",, "Computer, software, --, Reliability",, "Computer, simulation",, "Programming, languages, (Electronic, computers)",, "Theses, --, Computer, science",, "Dissertations, --, Computer, science"]]

预览 | 原文链接 [浏览：3 下载：0]
A language to support verification of embedded software

颁布单位：[Stellenbosch University] | 颁布时间：2004 | 实施时间：2004 | 学科分类：[["Computer, software, --, Verification",, "Embedded, computer, systems",, "Programming, languages, (Electronic, computers)",, "Dissertations, --, Computer, science"]]

预览 | 原文链接 [浏览：4 下载：2]