Conférence AFIS 2006 Salons/conférences

Une présentation de Coppilot a été faite dans le cadre de la conférence AFIS 2006 (Association Française d’Ingénierie Système) à […]

AFADL’06 Salons/conférences

Participation de CLEARSY à AFADL’06 (15, 16, 17 mars 2006). Démonstration d’un nouvel outil d’aide à la spécification de système […]

Vérification de la cohérence de modèles UML – ENST Salons/conférences

Présentation de CLEARSY sur la vérification de Statecharts avec la méthode B.

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

Besoin d'un système sur-mesure ?

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 !

Filtrer les articles
error