Skip to content

Research facility · founded 2020

CONVECS: Construction de systèmes concurrents vérifiés

Montbonnot-Saint-Martin, France · inria.fr/equipes/convecs

Part of Institut polytechnique de Grenoble

Manage this page

Citations, last 5 years: 170
Works, last 5 years: 39
h-index: 24
Scientists listed: 0
Grants since 2016: 0

Strongest research topics

Formal Methods in Verification98Computer Science
Logic, programming, and type systems61Computer Science
Model-Driven Software Engineering Techniques38Computer Science
Petri Nets in System Modeling28Computer Science
Advanced Software Engineering Methodologies22Computer Science
Business Process Modeling and Analysis21Business, Management and Accounting