Generation of Signals Under Temporal Constraints for CPS Testing

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

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⟩

Share

Metrics

Record views

16