Article Dans Une Revue
Electronic Notes in Theoretical Computer Science
Année : 2015
Ogre Equipe : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02488309
Soumis le : samedi 22 février 2020-15:50:45
Dernière modification le : mercredi 3 janvier 2024-16:12:04
Dates et versions
Identifiants
- HAL Id : hal-02488309 , version 1
- ARXIV : 1506.01762
- DOI : 10.1016/j.entcs.2015.10.009
Citer
Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn. Monitoring Bounded LTL Properties Using Interval Analysis. Electronic Notes in Theoretical Computer Science, 2015, 317, pp.85-100. ⟨10.1016/j.entcs.2015.10.009⟩. ⟨hal-02488309⟩
Collections
26
Consultations
0
Téléchargements