已收录 268921 条政策
分类导航
检索结果
已选条件:
programs
<符合条件的数据共：4条>
排序方式
登录后可批量下载(统一登录，激活码登录)
  • Open-source software and the rationale for copyright protection of computer programs
    颁布单位：[Stellenbosch University] |  颁布时间：2013 |  实施时间：2013 |  学科分类：[["Copyright, law, --, Computer, programs",, "Open-source, software, --, Law, and, legislation",, "Computer, programs, --, Protection",, "Intellectual, property",, "Theses, --, Law",, "Dissertations, --, Law",, "Theses, --, Mercantile, law",, "Dissertations, --, Mercantile, law",, "Mercantile, Law"]]
    预览  |  原文链接    [浏览：6 下载：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]
  • A kernel to support computer-aided verification of embedded software
    颁布单位：[Stellenbosch University] |  颁布时间：2006 |  实施时间：2006 |  学科分类：[["Theses, --, Mathematics",, "Dissertations, --, Mathematics",, "Theses, --, Computer, science",, "Dissertations, --, Computer, science",, "Computer, software, --, Verification.",, "Computer, programs, --, Validation."]]
    预览  |  原文链接    [浏览：4 下载：1]
  • A comparison of two different model checking techniques
    颁布单位：[Stellenbosch University] |  颁布时间：2003 |  实施时间：2003 |  学科分类：[["Computer, software, --, Verification",, "Computer, programs, --, Validation",, "Dissertations, --, Computer, science",, "Model, checking",, "Transition, systems",, "Automated, model, extraction",, "Theses, --, Computer, science"]]
    预览  |  原文链接    [浏览：3 下载：1]