%0 Conference Proceedings %T Towards Support for Verification of Adaptative Systems with Djnn %+ Ecole Nationale de l'Aviation Civile (ENAC) %A Prun, Daniel %A Magnaudet, Mathieu %A Chatty, Stéphane %< avec comité de lecture %( COGNITIVE 2015, 7th International Conference on Advanced Cognitive Technologies and Applications %B COGNITIVE 2015, 7th International Conference on Advanced Cognitive Technologies and Applications %C Nice, France %I IARIA XPS Press %3 Seventh International Conference on Advanced Cognitive Technologies and Applications COGNITIVE 2015 %P ISBN: 978-1-61208-390-2 %8 2015-03-22 %D 2015 %K interactive system %K component %K control structure %K model %K syntax %K semantic %K formal verification %Z Computer Science [cs]/Human-Computer Interaction [cs.HC]Conference papers %X 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. %G English %2 https://enac.hal.science/hal-01888093/document %2 https://enac.hal.science/hal-01888093/file/cognitive_2015_10_20_95007.pdf %L hal-01888093 %U https://enac.hal.science/hal-01888093 %~ ENAC %~ LII