Dynamical systems

Point of contact Alexandre Chapoutot, ENSTA ParisFranck Delaplace, IBISC, UEVE Summary Mathematical modelling of systems in order to apply formal methods may involve an important amount of knowledge on the…