查看最新文献
订阅
分享
237发文信息
历年影响因子
历年发表
投稿信息
Lectures on Runtime Verification - 最新文献
Runtime Failure Prevention and Reaction
Pub Date : 2018-02-11 DOI: 10.1007/978-3-319-75632-5_4 Yliès Falcone, L. Mariani, A. Rollet, Saikat SahaRuntime Verification for Decentralised and Distributed Systems
Pub Date : 2018-02-11 DOI: 10.1007/978-3-319-75632-5_6 Adrian Francalanza, Jorge A. Pérez, César SánchezSpecification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-75632-5_5 E. Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios Fainekos, O. Maler, D. Ničković, S. Sankaranarayanan
免责声明：
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
京公网安备 11010802042870号
