检索结果

已选条件:

Case

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

排序方式

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

Data-Driven Tools for Introductory Computer Science Education

颁布单位：[Rice University] | 颁布时间：2018 | 实施时间：2018 | 学科分类：[Computer, Science, Education, Interactive, Learning, Software, Testing, Visualization, Web-based, Tool, AutomaticTest, Case, Generation, Data-Driven, Automated, Programming, Assessment, System]

预览 | 原文链接 [浏览：7 下载：3]
Formal specification and verification of safety interlock systems: A comparative case study

颁布单位：[Stellenbosch University] | 颁布时间：2007 | 实施时间：2007 | 学科分类：[["Theses, --, Mathematics",, "Dissertations, --, Mathematics",, "Theses, --, Computer, science",, "Dissertations, --, Computer, science",, "Software, protection, --, Mathematical, models",, "Computer, security, --, Case, studies.",, "Formal, methods, (Computer, science)",, "Mathematical, Sciences",, "Computer, Science"]]

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