CompCert qualifié pour l’avionique
Avancée majeure pour le développement logiciel certifié.
Avancée majeure pour le développement logiciel certifié.
Anticipate tomorrow's software governance: Cyber Resilience Act (CRA) + AI Gen
ISIT présentera sa pile FSoE sur le stand de notre partenaire acontis.
We’ve been members of the EtherCAT Group Technology for 15 years already!
Come visit us and discover AbsInt software verification tools.
Come visit us and discover AbsInt software verification tools !
Maîtriser la gouvernance logicielle à l’ère de la réglementation et de l’IA.
The ISIT team wishes you a Happy New Year 2026!