Dipartimento Sistemi e Informatica, Universita di Firenze Dipartimento Elettronica per l'Automazione, Universita di Brescia;
Dipartimento Sistemi e Informatica, Universita di Firenze;
Dipartimento Sistemi e Informatica, Universita di Firenze;
visual formalism; visual specification languages; temporal logic; 3D visualization;
机译:时限时间逻辑规范对连续时间马尔可夫过程控制策略的形式综合
机译:实时离散事件控制的度量时间逻辑规范接口
机译:从有时间限制的时间逻辑规范中控制嘈杂的差速驱动车辆
机译:可视化的分支时间时序逻辑规范
机译:使用Petri网和时间逻辑进行实时系统规范和分析。
机译:羚羊:用于分支时间布尔GRN分析的混合逻辑模型检查器
机译:实时语言,定时交替自动机和定时时态逻辑:关系和规范
机译:模型检查分支时间时间逻辑CTL