Canalblog
Editer l'article Suivre ce blog Administration + Créer mon blog
Publicité
Regards sur les pôles
Regards sur les pôles
Publicité
Regards sur les pôles
Visiteurs
Depuis la création 304 829
Derniers commentaires
Archives
Newsletter
13 avril 2013

Séminaire In'Tech sur le thème « Validation formelle de systèmes industriels critiques » (13h45 à 18h00)

18 Avr 2013

Le club de veille technologique In'Tech, animé par Inria et le Cluster Isère du logiciel et des services informatiques (GRILOG), organise, en collaboration avec CAP'TRONIC, une demi-journée de rencontres entre chercheurs et industriels sur le thème « Validation formelle de systèmes industriels critiques ».

Le séminaire aborde, entre autres :

• l'Analyzer Astrée
• les processus métier et exigences aux tests pour les grands systèmes complexes
• la vérification de systèmes concurrents à travers l'utilisation de CADP
• l'ingénierie d'exigences fonctionnelles à l'aide de langages synchrones...

Voir: http://www.minalogic.com/Actualites/991%23%26seminaire-grilog-captronic/18-l-agenda.htm

Voir la carte des pôles de compétitivité: http://www.pb-veille-consulting.com/pole-de-competitivite-carte.html

Patrick Barbieri
PB VEILLE CONSULTING
L'information au service de l'entreprise

http://www.pb-veille-consulting.com

Publicité
Publicité
Commentaires
Publicité