已收录 271055 条政策
分类导航
检索结果
已选条件:
languages
<符合条件的数据共：8条>
排序方式
登录后可批量下载(统一登录，激活码登录)
  • NOOP: A mathematical model of object-oriented programming
    颁布单位：[Rice University] |  颁布时间：2012 |  实施时间：2012 |  学科分类：[Applied, sciences, Object-oriented, programming, Computer, software, Nominal, OO, languages, Statically-typed, OO, languages, Applied, mathematics, Computer, science]
    预览  |  原文链接    [浏览：0 下载：3]
  • Dynamic Assertion-Based Verification for SystemC
    颁布单位：[Rice University] |  颁布时间：2011 |  实施时间：2011 |  学科分类：[Applied, sciences, Assertion-based, verification, Specification, languages, Electrical, engineering, System, science, Computer, science]
    预览  |  原文链接    [浏览：0 下载：0]
  • 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]
  • Expressiveness, programmability and portable high performance of global address space languages
    颁布单位：[Rice University] |  颁布时间：2007 |  实施时间：2007 |  学科分类：[Computer, science, Applied, sciences, Distributed, multithreading, Global, address, space, languages, Parallel, programming, Programmability]
    预览  |  原文链接    [浏览：4 下载：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"]]
    预览  |  原文链接    [浏览：3 下载：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)"]]
    预览  |  原文链接    [浏览：0 下载：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"]]
    预览  |  原文链接    [浏览：4 下载：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"]]
    预览  |  原文链接    [浏览：0 下载：1]