AdaCore et l’Inria lancent le laboratoire commun ProofInUse
Les activités du laboratoire s’articuleront autour du développement d’outils de preuves formelles et de leur déploiement auprès des industriels pour…
Les activités du laboratoire s’articuleront autour du développement d’outils de preuves formelles et de leur déploiement auprès des industriels pour…
GE Intelligent Platforms ajoute, à sa suite logicielle Proficy, le module Scorecard qui génère des vues en temps réel, à…
Avec son configurateur automatique, Wago simplifie la mise en œuvre des réseaux Modbus largement répandus dans l’industrie et le bâtiment.
Siemens propose avec Solid Edge ST7, une nouvelle version de son logiciel de conception 3D permettant d'accélérer différentes aspects de…
Le système d’exploitation HiSecOS 2.0 de Hirschmann (groupe Belden) s’enrichit de fonctionnalités de sécurité et améliore sa convivialité. Cette version…
Les activités Services de Cybersécurité et les activités Sécurité des Communications d’Alcatel-Lucent sont principalement basées en France - à Villarceaux…
Les activités Services de Cybersécurité et les activités Sécurité des Communications d’Alcatel-Lucent sont principalement basées en France - à Villarceaux…
La version 1.3 du logiciel Synect de dSpace permet la gestion globale de données pour le développement basé sur les…
La version 1.3 du logiciel Synect de dSpace permet la gestion globale de données pour le développement basé sur les…
La version 11 du logiciel PcVue d'Arc Informatique intégre des outils supplémentaires pour simplifier et accélérer le développement et la…
La version 11 du logiciel PcVue d'Arc Informatique intégre des outils supplémentaires pour simplifier et accélérer le développement et la…
La division Industry Automation de Siemens lance la version 10.1 de la solution logicielle Comos, pour l’étude, la mise en…
La division Industry Automation de Siemens lance la version 10.1 de la solution logicielle Comos, pour l’étude, la mise en…