Méthodes formelles et systèmes cyber-physiques – Séminaire à Shonan

CLEARSY va organiser à Shonan (sud de Tokyo), du 05 au 09 Novembre 2018, un séminaire scientifique sur invitation relatif à l’usage industriel des méthodes formelles pour les systèmes cyber-physiques.
Ce séminaire sera l’occasion de faire le point sur les pratiques et les besoins des industriels et de voir comment les méthodes formelles peuvent y répondre.
Une forte représentation japonaise est attendue.
Ce séminaire sera suivi par un workshop d’une journée « B événementiel » organisée au NII (National Institute of Informatics) à Tokyo.

Source: http://shonan.nii.ac.jp/shonan/blog/2017/12/05/towards-industrial-application-of-advanced-formal-methods-for-cyber-physical-system-engineering/