Monitoring Temporal Properties Using Interval Analysis

Monitoring Temporal Properties Using Interval Analysis
复制标题

使用区间分析监控时间属性

DOI：
10.1587/transfun.e99.a.442
复制
发表时间：
2016
期刊：
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
影响因子：
--
通讯作者：
A. Goldsztejn
A. Goldsztejn
中科院分区：
--
文献类型：
--
作者：
D. Ishii;N. Yonezaki;A. Goldsztejn

文献摘要

相似文献