Velo - Vérification pour l'Environnement et le LOgiciel

Outils pour utilisateurs

Outils du site

Piste: • events
aelos:events

Table des matières

Event Organisation

ProveCS Series

Nantes University's Conference

  • JS2013 - Colloque 3 - Logiciels de qualité : modélisation et vérification / 7 juin 2013 / Nantes, FRANCE site
  • The B Method: from Research to Teaching TFMB'2010 site
  • Edition 2009 site
  • Edition 2008 site

Numéro spécial de la revue L'Objet

  • Composants, Services et Aspects : techniques et outils pour la vérification cfp

IM_FMT 2009

  • Workshop on Integration of Model-based Formal Methods and Tools (IMFMT 2009)
    15 - 19 February, 2009, (Düsseldorf, Germany) site ==== Miles 2009 ==== * exposé Miles du 16/01/09 (EM) pdf
aelos/events.txt · Dernière modification: 2018/04/03 16:59 (modification externe)

Outils de la page

Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Share Alike 4.0 International
CC Attribution-Share Alike 4.0 International Donate Powered by PHP Valid HTML5 Valid CSS Run on Debian Driven by DokuWiki