Generation of Signals Under Temporal Constraints for CPS Testing

Benoît Barbot; Nicolas Basset; Thao Dang

doi:10.1007/978-3-030-20652-9

Communication Dans Un Congrès Année : 2019

Generation of Signals Under Temporal Constraints for CPS Testing

(1) , (2) , (3, 4, 2)

1
2
3
4

Benoît Barbot

Fonction : Auteur
PersonId : 9838
IdHAL : b-barbot
ORCID : 0000-0003-2417-3064
IdRef : 185406637

Laboratoire d'Algorithmique Complexité et Logique

CV

Nicolas Basset

Fonction : Auteur
PersonId : 772554
IdRef : 191360848

Université Grenoble Alpes [2016-2019]

Thao Dang

Fonction : Auteur
PersonId : 180504
IdHAL : thao-dang
ORCID : 0000-0002-3637-1415
IdRef : 121779823

VERIMAG

Centre National de la Recherche Scientifique

Université Grenoble Alpes [2016-2019]

Domaines

Modélisation et simulation Systèmes embarqués

Thao Dang : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02402402

Soumis le : mardi 10 décembre 2019-14:16:01

Dernière modification le : mercredi 18 décembre 2024-09:56:33

Dates et versions

hal-02402402 , version 1 (10-12-2019)

Identifiants

HAL Id : hal-02402402 , version 1
DOI : 10.1007/978-3-030-20652-9

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA IMAG CNRS LACL UPEC VERIMAG TDS-MACS

62 Consultations

0 Téléchargements

Generation of Signals Under Temporal Constraints for CPS Testing

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager