Journal Articles
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Year : 2016
Ogre Equipe : Connect in order to contact the contributor
https://hal.science/hal-02490672
Submitted on : Tuesday, February 25, 2020-1:44:05 PM
Last modification on : Wednesday, January 3, 2024-5:02:03 PM
Cite
Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn. Monitoring Temporal Properties Using Interval Analysis. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2016, E99.A (2), pp.442-453. ⟨10.1587/transfun.E99.A.442⟩. ⟨hal-02490672⟩
Collections
21
View
0
Download