 |
Conference papers
Generation of Signals Under Temporal Constraints for CPS Testing
Benoît Barbot 1
Author IdHAL : b-barbot
Nicolas Basset 2
Author
Thao Dang 3, 4, 2
Author IdHAL : thao-dang ORCID : https://orcid.org/0000-0002-3637-1415
1
LACL - Laboratoire d'Algorithmique Complexité et Logique (LACL, Université Paris-Est Créteil Val-de-Marne, 61 avenue du Général de Gaulle 94010 Créteil cedex - France)
- UPEC UP12 - Université Paris-Est Créteil Val-de-Marne - Paris 12 : EA4219 (61 avenue du Général de Gaulle - 94010 Créteil cedex - France)
2
UGA [2016-2019] - Université Grenoble Alpes [2016-2019] (CS 40700 - 38058 Grenoble cedex - France)
3
VERIMAG - IMAG - VERIMAG (Verimag
Bâtiment IMAG
Université Grenoble Alpes
700, avenue centrale
38401 Saint Martin d’Hères - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5104 (France)
- Grenoble INP - Institut polytechnique de Grenoble - Grenoble Institute of Technology (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France)
- UGA [2016-2019] - Université Grenoble Alpes [2016-2019] (CS 40700 - 38058 Grenoble cedex - France)
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 : Thursday, December 3, 2020 - 4:14:03 PM
Contributor : Thao Dang <>
Submitted on : Tuesday, December 10, 2019 - 2:16:01 PM
Last modification on : Thursday, December 3, 2020 - 4:14:03 PM
Identifiers
- HAL Id : hal-02402402, version 1
- DOI : 10.1007/978-3-030-20652-9
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⟩
Metrics
Record views