Globalplatform card specification v2.1.1 Micro-électronique
L’équipe EVEREST de l’INRIA a développé un modèle formel B de la spécification Globalplatform. Ce modèle est téléchargeable.
RODIN : un projet de 3 ans Génie logiciel
Le projet RODIN (développement d’une plateforme ouverte pour la conception de systèmes tolérants aux fautes) a débuté. Ce projet de […]
B4Free Génie logiciel
B4free, l’environnement de développement de modèles B, est mis à disposition de la communauté scientifique : B4Free.com
Nous sommes des créateurs de logiciels et de systèmes sécuritaires. Conçus et fabriqués en France. Contactez-nous et discutons ensemble de votre projet !