Home > Verimag > Actualités

Argosim and Verimag in ``La Lettre Innovation du CNRS’’

In the context of the acquisition of ARGOSIM by Dassault Systèmes, this article from CNRS Innovation Letter recalls the relations between the startup and the lab (in French).

View online : Argosim rejoint Dassault Systèmes

New publications

Some Recent Publications
- Marius Bozga, Radu Iosif, Florian Zuleger: Iterating Non-Aggregative Structure Compositions
- Karine Altisen, Marius Bozga: Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm
- Basile Pesin, Sylvain Boulmé, David Monniaux, Marie-Laure Potet: Formally Verified Hardening of C Programs against Hardware Fault Injection
- 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

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

info visites 8349122

UGA

CNRS

INP Grenoble