IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences
2016 Vol. E99.A; Iss. 2
![](/img/cover-not-exists.png)
Monitoring Temporal Properties Using Interval Analysis
ISHII, Daisuke, YONEZAKI, Naoki, GOLDSZTEJN, AlexandreVolume:
E99.A
Year:
2016
Language:
english
Journal:
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
DOI:
10.1587/transfun.e99.a.442
File:
PDF, 1.15 MB
english, 2016