颁布单位：[Stellenbosch University] |  颁布时间：2008 |  实施时间：2008 |  学科分类：[["Automaton",, "Mass-manipulation",, "Pattern, analysis",, "GrailKnights",, "Theses, --, Computer, science",, "Dissertations, --, Computer, science",, "Pattern, perception, --, Data, processing",, "Computer, software, --, Development",, "Pattern, recognition, systems"]]

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

颁布单位：[University:University of Glasgow, ... |  颁布时间：2008 |  实施时间：2008 |  学科分类：[QA76, Computer, software]

预览  |  原文链接    [浏览：14 下载：17]

颁布单位：[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]

颁布单位：[University of Wisconsin -- La Cros... |  颁布时间：2007 |  实施时间：2007 |  学科分类：[Computer, software, --, Development, --, Management.]

预览  |  原文链接    [浏览：23 下载：6]

颁布单位：[University of Wisconsin] |  颁布时间：2006 |  实施时间：2006 |  学科分类：[Computer, software, --, Reusability]

预览  |  原文链接    [浏览：17 下载：10]

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

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

颁布单位：[Stellenbosch University] |  颁布时间：2004 |  实施时间：2004 |  学科分类：[["Science, --, Study, and, teaching, (Secondary), --, South, Africa",, "Science, --, South, Africa, --, Computer-assisted, instruction, --, Testing",, "Science, --, Study, and, teaching, (Secondary), --, South, Africa, --, Computer, programs",, "Computer, software, --, Development",, "Theses, --, Education",, "Dissertations, --, Education"]]

预览  |  原文链接    [浏览：5 下载：1]

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

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

颁布单位：[University:University of Birmingha... |  颁布时间：2004 |  实施时间：2004 |  学科分类：[Science, QA, Mathematics, QA76, Computer, software]

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

颁布单位：[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]