La prochaine journée du cycle de conférences "Forum Méthodes Formelles" concerne l'analyse statique de codes pour la validation formelle
de systèmes logiciels.
Cette journée est organisée sous forme de retours d'expériences industrielles. Le schéma général est d'associer systématiquement une
présentation d'outil par son concepteur/développeur et le retour d'expérience utilisateur.
Les grandes entreprises du domaine de l'avionique et de l'espace partageront leurs expériences, utilisables dans d'autres domaines tels que
la santé ou les transports terrestres.
Vendredi 28 juin 2013 de 9h00 à 17h30 - Inria Grenoble Rhône-Alpes - Grand amphithéâtre
-Retransmission en direct de la conférence de Toulouse
>>> En savoir plus
Aucun commentaire:
Enregistrer un commentaire
Merci de rester courtois et constructif, faute de quoi votre commentaire serait supprimé !