Generation of Signals Under Temporal Constraints for CPS Testing

Benoît Barbot 1 Nicolas Basset 2 Thao Dang 3, 4, 2
1 LACL - Laboratoire d'Algorithmique Complexité et Logique
2 UGA - Université Grenoble Alpes
3 VERIMAG - IMAG - VERIMAG
4 CNRS - Centre National de la Recherche Scientifique
Document type :
Conference papers
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-02402402
Contributor : Thao Dang <>
Submitted on : Tuesday, December 10, 2019 - 2:16:01 PM
Last modification on : Monday, January 13, 2020 - 1:18:42 AM

Identifiers

Collections

IMAG | LACL | UPEC-UPEM | UPEC | VERIMAG | CNRS | UGA | TDS-MACS

Citation

Benoît Barbot, Nicolas Basset, Thao Dang. Generation of Signals Under Temporal Constraints for CPS Testing. NASA Formal Methods NFM 2019, May 2019, Houston, TX, United States. ⟨10.1007/978-3-030-20652-9⟩. ⟨hal-02402402⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

16

Contact

Informations

CCSD