A global constraint for over-approximation of real-time streams - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Constraints Année : 2017

A global constraint for over-approximation of real-time streams

Domaines

Informatique [cs]

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 : vendredi 24 mars 2023-14:53:04

Fichier non déposé

Dates et versions

hal-01555777 , version 1 (04-07-2017)

Identifiants

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES INSTITUT-TELECOM CNRS EC-NANTES UNAM LS2N LS2N-TASC IMT-ATLANTIQUE NANTES-UNIVERSITE
70 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More