Article Dans Une Revue
Constraints
Année : 2017
Anicet BART : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01555777
Soumis le : mardi 4 juillet 2017-14:03:03
Dernière modification le : mardi 17 septembre 2024-15:58:58
Citer
Anicet Bart, Charlotte Truchet, Eric Monfroy. A global constraint for over-approximation of real-time streams. Constraints, 2017, 22 (3), pp.463 - 490. ⟨10.1007/s10601-017-9268-z⟩. ⟨hal-01555777⟩
Collections
79
Consultations
0
Téléchargements