PARAMETRIC UPDATES IN PARAMETRIC TIMED AUTOMATA

Andre, E; Lime, D; Ramparison, M

Andre, E (corresponding author), Univ Lorraine, CNRS, INRIA, LORIA, F-54000 Nancy, France.; Andre, E (corresponding author), CNRS, JFLI, Tokyo, Japan.; Andre, E (corresponding author), Natl Inst Informat, Tokyo, Japan.

LOGICAL METHODS IN COMPUTER SCIENCE, 2021; 17 (2):

Abstract

We introduce a new class of Parametric Timed Automata (PTAs) where we allow clocks to be compared to parameters in guards, as in classic PTAs, but als......

Full Text Link


Links

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