颁布单位：[Stellenbosch University] |  颁布时间：2009 |  实施时间：2009 |  学科分类：[["Formal, methods",, "Program, verification",, "Model, checking",, "Distributed, computing",, "Theses, --, Computer, science",, "Dissertations, --, Computer, science",, "Computer, systems, --, Verification",, "Mathematical, Sciences",, "Computer, Science"]]

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

颁布单位：[Stellenbosch University] |  颁布时间：2009 |  实施时间：2009 |  学科分类：[["Python",, "Sundials",, "Metabolic, models",, "Kinetic, models",, "Systems, biology",, "Biological, systems, --, Computer, simulation",, "Biological, systems, --, Mathematical, models",, "Dissertations, --, Biochemistry",, "Theses, --, Biochemistry"]]

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

颁布单位：[Rice University] |  颁布时间：2009 |  实施时间：2009 |  学科分类：[Computer, science, Applied, sciences, Accountability, Distributed, systems, Fault, detection, Reliability, Security]

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

颁布单位：[Rice University] |  颁布时间：2009 |  实施时间：2009 |  学科分类：[Computer, science, Applied, sciences, Byzantine, fault-tolerance, Distributed, systems, Internet]

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