Skip to Main content Skip to Navigation
Conference papers

Towards Support for Verification of Adaptative Systems with Djnn

Daniel Prun 1 Mathieu Magnaudet 1 Stéphane Chatty 1
1 ENAC - Ecole Nationale de l'Aviation Civile
Complete list of metadatas
https://hal-enac.archives-ouvertes.fr/hal-01888093
Contributor : Daniel Prun <>
Submitted on : Thursday, October 4, 2018 - 5:00:23 PM
Last modification on : Friday, October 5, 2018 - 1:13:36 AM

Identifiers

  • HAL Id : hal-01888093, version 1

Collections

LII | ENAC

Citation

Daniel Prun, Mathieu Magnaudet, Stéphane Chatty. Towards Support for Verification of Adaptative Systems with Djnn. COGNITIVE 2015, 7th International Conference on Advanced Cognitive Technologies and Applications, Mar 2015, Nice, France. pp.ISBN: 978-1-61208-390-2. ⟨hal-01888093⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

35

Contact

Informations

CCSD