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
- 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
- Akram Idani, Yves Ledru, German Vega: Formal model-driven security combining B-method and process algebra: The B4MSecure platform
- 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
- Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani: Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks

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

info visites 56772013

UGA

CNRS

INP Grenoble