Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Towards Support for Verification of Adaptative Systems with Djnn

Abstract : Djnn is a general framework dedicated to the development of complex interactive systems. We describe ongoing work aimed at developing verification mechanisms through the definition of syntax, grammar and semantics for djnn models. The results will serve to perform formal verification of interactive systems.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal-enac.archives-ouvertes.fr/hal-01888093
Contributeur : daniel prun Connectez-vous pour contacter le contributeur
Soumis le : lundi 15 juin 2020 - 12:09:14
Dernière modification le : mardi 19 octobre 2021 - 11:02:50
Archivage à long terme le : : mercredi 2 décembre 2020 - 09:28:00

Fichier

cognitive_2015_10_20_95007.pdf
Accord explicite pour ce dépôt

Identifiants

  • HAL Id : hal-01888093, version 1

Collections

ENAC | LII

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⟩

Partager

Métriques

Consultations de la notice

42

Téléchargements de fichiers

18