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⟩