À l’occasion de l’achat d’Argosim par Dassault Systèmes, cet article de La Lettre Innovation du CNRS rappelle les relations entre la startup et le laboratoire Verimag.
Accueil > Verimag > Actualités
Argosim et Verimag dans La Lettre Innovation du CNRS
Voir en ligne : Argosim rejoint Dassault Systèmes
Navigation
Actualités
-
ACTUALITÉS
- Développement, conception et sémantique des langages de programmation Chaire de professeur junior CNRS
- Séminaires
- 26 novembre 2026 Basile Gros: Petites inversions par proxy pour rocq (Phd)
Séminaires
Nouvelles publications
- Quelques Publications
Récentes
- Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani: Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks
- Akram Idani, Yves Ledru, German Vega: Formal model-driven security combining B-method and process algebra: The B4MSecure platform
- Marius Bozga, Radu Iosif, Florian Zuleger: Regular Grammars for Sets of Graphs of Tree-Width 2
- Marius Bozga, Radu Iosif, Florian Zuleger: Iterating Non-Aggregative Structure Compositions