La Conférence internationale sur la recherche opérationnelle et les systèmes d’entreprise (ICORES) rassemble des chercheurs, des ingénieurs, des professeurs et des praticiens intéressés à la fois par les avancées (...)
Une mise en oeuvre du moteur d’optimisation OscaR dans le domaine de l’analyse de risques dans la conception de systèmes sera présentée à la conférence ICSOFT (en ligne) le mardi 7 (...)
La quarantième édition de la conférence internationale Mipro (International convention on information and communication technology, electronics and microelectronics) a eu lieu du 22-26 mai 2017, à Opatija en Croatie. Le (...)
Jens Brandenburger, Christoph Schirm, Josef Melcher, Edgar Hancke , Annick Majchrowski, Rami Sellami, Sebastien Dupont, Marco Vannucci, Valentina Colla , Asier Arteaga, “Quality 4.0 - Transparent (...)
Ponsard Christophe, Denis Darquennes, Towards Formal Security Verification of Over-The-Air Update Protocol : Requirements, Survey and UpKit Case Study, in Proc 5th International Workshop on (...)
