Accueil > Verimag > Actualités

Un article de presse sur Stimulus/Argosim

Avec Stimulus, Argosim apporte simulation et débogage temps réel à la validation des exigences

Publié le 10 mars 2015 à 12:11 par François Gauthier

la suite de l’article

Pour plus d’information sur Argosim et Stimulus : http://www-verimag.imag.fr/Argosim.html

Voir en ligne : http://www.lembarque.com/avec-stimu...

Nouvelles publications

Quelques Publications Récentes
- Aina Rasoldier, Jacques Combaz, Alain Girault, Kevin Marquet, Sophie Quinton: Assessing the Potential of Carpooling for Reducing Vehicle Kilometers Traveled
- Marius Bozga, Radu Iosif, Joseph Sifakis: Verification of component-based systems with recursive architectures
- Sylvain Boulmé: Construire des logiciels fiables
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit: Self-stabilizing Systems in Spite of High Dynamics

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

info visites 4144960

UGA

CNRS

INP Grenoble