Retour à la liste des exposants

ADACORE / Stand : C6-D5


Secteur d'activité :

DEVELOPPEMENT
TEMPS REELS ET EMBARQUE


Présentation :

Fondée en 1994, la société AdaCore fournit des outils de développement et de vérification des logiciels critiques, nécessitant de hauts niveaux de sécurité et/ou de sûreté. Les produits d’AdaCore sont open source et sont fournis avec une assistance en ligne assurée par les développeurs experts eux-mêmes.



Contact

www.adacore.com



Retour à la liste des exposants



Partenaires
Participants