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 (...)
Lessage Xavier, Mahmoudi Saïd, Mahmoudi Sidi Ahmed, Sohaib Laraba, Olivier Debauche, Mohammed Amin Belarbi University of Mons, Computer Sciences, Mons, (...)
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 (...)
