Monitoring Temporal Properties Using Interval Analysis - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Année : 2016

Monitoring Temporal Properties Using Interval Analysis

Dates et versions

hal-02490672 , version 1 (25-02-2020)

Identifiants

Citer

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⟩
17 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More