Accueil > Archives > DCS (Archive) > Projets > Projets

Projets


Projets en cours

    Autres projets

  • Cooperation PragmaDev - 2006-2026
    PragmaDev est un éditeur de logiciel Français qui propose différents outils intégrés au sein de deux environnements : 1) PragmaDev Process permet de décrire ou d’importer un processus métier avec la notation BPMN et de vérifier qu’il est correct. 2) PragmaDev Studio permet de décrire : l’architecture, la spécification fonctionnelle, la conception, les tests de conformité, des systèmes temps réel embarqués. Il intègre plusieurs outils basés sur des standards internationaux qui s’adressent à des ingénieurs (...)
  • Moc4Space - ESA, ITT, 2021-2022
    Model Checking for Formal Verification of Space Systems

La page de tous les projets et contrats de Verimag


Contact | Plan du site | Site réalisé avec SPIP 3.1.15 + AHUNTSIC [CC License]

info visites 1717853