Come and see us at our booth #Dordrecht #process #safety #cybersecurity #pscongres #bureauveritas

The VESSEDIA_H2020 partners are sitting together right now at the technical and advisory board meeting in Leuven. The progress is very good and there are ongoing technical discussions. #H2020 Horizon 2020

Prêts à vous accueillir sur notre stand pour parler cyber & safety #bureauveritas #lm21 #reims IMdR

.Yannick Moy presents AdaCore technologies for #CyberSecurity & how to adopt SPARK to formally define & verify software architectural requirements - Thales Group did it so you can too! Full book available here - adacore.com/books/implemen… … #formalmethods #formalverification

🇫🇷 🇩🇪 L’ANSSI se félicite de la déclaration conjointe du Conseil des ministres franco-allemand, en ligne avec le Visa de sécurité #SecNumCloud, confirmant ainsi le besoin d’une protection élevée contre les législations extraterritoriales de pays tiers.

📝Les exigences du référentiel #SecNumCloud permettent une protection empêchant l'accès aux données de clients, par un fournisseur de service #Cloud soumis à des réglementations non-européennes. Ces exigences consistent en un assemblage de trois mesures.⬇️ ssi.gouv.fr/actualite/zoom…

Suite à l'accord de reconnaissance mutuelle entre les certifications #CSPN 🇫🇷 et #BSZ 🇩🇪, l'ANSSI et le BSI publient un nouveau logo pour permettre d’identifier facilement le statut de reconnaissance des certificats. Plus d'informations sur : 🔗 cyber.gouv.fr/accord-anssi-b…

Living in an increasingly globalized & #connectedWorld requires #trust. Bureau Veritas is a #TrustMaker. youtu.be/yisxPZu-Xag

#Linty #Sonarqube in action. Bugs and code smells found in a VHDL design. #DO254 User Group, DGA and CNES coding standards are implemented.

TrustInSoft Recognized TOP 25 Solution Provider of 2017 by CIO.com. Read CEO @fderepas' Interview here: bit.ly/2gIlgfM #IoT

Dernière chance pour s'inscrire #ISCLP2017 sur la fiabilité et sécurité des systèmes informatiques militaires #DGA ixarm.com/Seminaire-ISCL…

We're honored to see Frama-C among the 10 innovative products selected in the "Tech for society" category ec.europa.eu/futurium/en/in….

Full room in Toulouse for military SW safety & security #ISCLP2017

Cc Laurent Midrier x.com/Hexatrust/stat…

Vote for CEA-List ! Top class software to ensure #cybersecurity & safety of industrial applications ➡️ bit.ly/2hBrrix

vimeo.com/251924201

vimeo.com/251924201