index - Méthodes Formelles, Modèles et Langages Access content directly
Here is the updated scientific production of the research area "Formal Methods, Models, and Languages". This research area of the Grenoble Informatics Laboratory (LIG) is organized into 3 teams: Keywords: Concurrent systems, Dependability, Embedded systems, Formal specification and verification, Models and programming for the Web, Models of computation, Programming languages and static analysis

LIG website