首页 /研究 /Statistical Model Checking of Distributed Adaptive Real-Time Software
OTHER

Statistical Model Checking of Distributed Adaptive Real-Time Software

David Kyle, Jeffery P. Hansen, Sagar Chaki

发表年份
2015
引用次数
7

关键词

Computer scienceSoftwareDistributed computingReal-time computingProgramming language

相关论文

查看 OTHER 分类全部论文