Aller au contenu

WARUNA

Atelier de modélisation et de vérification de propriétés temporelles

Contenus

  • Le projet Waruna

Articles récents

  • Présentations de la constatation de fin du projet
  • Dépôt Git
  • Chaîne YouTube Waruna
  • Conférence MODELS 2016

Partenaires

Artal
Clearsy
INRIA
LIAS
RTaW
Thales

Institutions

Aerospace Valley
Bpifrance
Grand Nancy
Île-de-France
Lorraine
Materalia
Midi-Pyrénées
Systematic

Présentations de la constatation de fin du projet

Introduction
Contributions scientifiques
Contributions industrielles
Cas d’étude
Conclusion

Vidéo de démonstration n°1
Vidéo de démonstration n°2

Publié le 4 février 2019Auteur Nicolas

Navigation de l’article

Précédent Article précédent : Dépôt Git
Fièrement propulsé par WordPress
Nous utilisons des cookies pour vous garantir la meilleure expérience sur notre site web. Si vous continuez à utiliser ce site, nous supposerons que vous en êtes satisfait.Ok