@inproceedings{prun:hal-01888093, TITLE = {{Towards Support for Verification of Adaptative Systems with Djnn}}, AUTHOR = {Prun, Daniel and Magnaudet, Mathieu and Chatty, St{\'e}phane}, URL = {https://enac.hal.science/hal-01888093}, BOOKTITLE = {{COGNITIVE 2015, 7th International Conference on Advanced Cognitive Technologies and Applications}}, ADDRESS = {Nice, France}, PUBLISHER = {{IARIA XPS Press}}, SERIES = {Seventh International Conference on Advanced Cognitive Technologies and Applications COGNITIVE 2015}, PAGES = {ISBN: 978-1-61208-390-2}, YEAR = {2015}, MONTH = Mar, KEYWORDS = {interactive system ; component ; control structure ; model ; syntax ; semantic ; formal verification}, PDF = {https://enac.hal.science/hal-01888093/file/cognitive_2015_10_20_95007.pdf}, HAL_ID = {hal-01888093}, HAL_VERSION = {v1}, }