Towards Support for Verification of Adaptative Systems with Djnn

Prun, Daniel

Magnaudet, Mathieu

Chatty, Stéphane

Cognitive 2015 , 22-27.03.2015. Published by IARIA. Nice, France 2015, pp. 191-194 ISBN: 978-1-61208-390-2

Holistic Human Factors and System Design of Adaptive Cooperative Human-Machine Systems