已收录 268921 条政策
分类导航
检索结果
已选条件:
--
<符合条件的数据共：5条>
排序方式
登录后可批量下载(统一登录，激活码登录)
  • 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]
  • LF : a language for reliable embedded systems
    颁布单位：[Stellenbosch University] |  颁布时间：2001 |  实施时间：2001 |  学科分类：[["Programming, languages, (Electronic, computers)",, "Embedded, computer, systems",, "Operating, systems, (Computers)",, "Dissertations, --, Computer, science",, "Joyce, (Computer, programming, language)"]]
    预览  |  原文链接    [浏览：3 下载：0]
  • An LTL verification system based on automata theory
    颁布单位：[Stellenbosch University] |  颁布时间：1999 |  实施时间：1999 |  学科分类：[["Computer, programs, --, Verification",, "Programming, languages, (Electronic, computers)",, "Model, checking",, "Dissertations, --, Computer, science"]]
    预览  |  原文链接    [浏览：7 下载：1]
  • Efficiency issues in the design of a model checker
    颁布单位：[Stellenbosch University] |  颁布时间：1999 |  实施时间：1999 |  学科分类：[["Computer, algorithms",, "Programming, languages, (Electronic, computers)",, "ESML, modelling, language",, "Dissertations, --, Computer, science"]]
    预览  |  原文链接    [浏览：3 下载：1]