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

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

New publications

Some Recent Publications
- Karine Altisen, Stéphane Devismes, Erwan Jahier: sasa: a SimulAtor of Self-stabilizing Algorithms
- Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne: A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit: Self-stabilizing Systems in Spite of High Dynamics
- Marius Bozga, Radu Iosif, Joseph Sifakis: Verification of component-based systems with recursive architectures

info visites 4161322