Article Dans Une Revue
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Année : 2016
Ogre Equipe : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02490672
Soumis le : mardi 25 février 2020-13:44:05
Dernière modification le : mercredi 3 janvier 2024-17:02:03
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⟩
Collections
22
Consultations
0
Téléchargements