IRIT - ACADIE

Assistance à la Certification d'Applications Distribuées et Embarquées


Notre équipe en bref

Notre équipe se concentre sur des preuves mathématiques et sur la certification logiciel. Les méthodes et le savoir-faire sont particulièrement appropriés pour des domaines tels que les systèmes critiques, les logiciels embarqués ou distribués.