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