The purpose of the International Conference on Operations Research and Enterprise Systems (ICORES) is to bring together researchers, engineers, faculty, and practitioners interested in both theoretical advances and (...)
An application of the OscaR optimisation engine in the area of risk analysis in system design will be presented at the ICSOFT conference (online) on Tuesday 7 July.
The 40th Jubilee of Mipro conference (International Convention on Information and Communication Technology, Electronics and Microelectronics was held from 22-26 May 2017 in Opatija, Croatia. CETIC, presented an (...)
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 (...)