PyFoReL: A Domain-Specific Language for Formal Requirements in Temporal Logic
PyFoReL: A Domain-Specific Language for Formal Requirements in Temporal Logic
复制标题
PyFoReL：用于时态逻辑中形式要求的特定于领域的语言
DOI：
10.1109/re54965.2022.00037
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Fainekos, Georgios
中科院分区：
文献类型：
--
作者：
Anderson, Jacob;Hekmatnejad, Mohammad;Fainekos, Georgios
RTAMT：STL 的在线稳健性监视器
DOI：
10.1007/978-3-030-59152-6_34
发表时间：
2020
期刊：
Expert Syst. Appl.
影响因子：
--
作者：
D. Ničković;Tomoya Yamaguchi
通讯作者：
Tomoya Yamaguchi