Home > Verimag > Actualités

A press article on 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

Read the article

For more information on Argosim and Stimulus : http://www-verimag.imag.fr/Argosim.html

View online : http://www.lembarque.com/avec-stimu...

New publications

Some Recent Publications
- Karine Altisen, Marius Bozga: Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm
- Bruno Ferres, Oussama Oulkaid, Matthieu Moy, Gabriel Radanne, Ludovic Henrio, Pascal Raymond, Mehdi Khosravian: A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits
- Florence Maraninchi: Revisiting "Good" Software Design Principles To Shape Undone Computer Science Topics
- Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Marius Bozga, Maxime Perrotin: Specification and model-checking of space systems in the TASTE toolset

Contact | Site Map | Site powered by SPIP 4.4.5 + AHUNTSIC [CC License]

info visites 5173535

UGA

CNRS

INP Grenoble