发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Runtime monitoring and verification of systems with hidden information

Runtime monitoring and verification of systems with hidden information

Drusinsky, Doron

期刊名称Innovations in Systems and Software Engineering
作者Drusinsky, Doron
卷第10卷
期第2期
印刷ISSN1614-5046
电子ISSN1614-5054
文件大小925.95KB
发表时间2014-06-26
DOI10.1007/s11334-013-0224-9
页码123-136

← 返回【学霸图书馆】主页