Guaranteeing Timed Opacity using Parametric Timed Model Checking

Andre, E; Lime, D; Marinho, D; Sun, J

Andre, E (通讯作者)，Univ Lorraine, LORIA, INRIA, CNRS, LORIA Campus Sci BP 239, F-54506 Vandoeuvre Les Nancy, France.

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2022; 31 (4):

Abstract

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索