Mireille Larnac

Publication Activity (10 Years)

Years Active: 1995-2000
Publications (10 Years): 0

Montpellier 2 University, France (PHD)

Education History

Montpellier 2 University, France

PHD

Publications

Frédérick Bénaben, Mireille Larnac, Jean-Paul Pignon, Janine Magnier
A process for improving multi-technology system high level design: modeling, verification and validation of complex optronic systems. SMC (2000)
Mireille Larnac, Janine Magnier, Vincent Chapurlat
Simplification of Proof Procedures Based on the Path Condition Concepts. EUROCAST (1999)
Didier Crestani, C. Covès, François Prunet, D. Chalvet, Merlin Gerin Alès, Vincent Chapurlat, Mireille Larnac, Janine Magnier
User defined multi-criteria added-value for enterprise processes analysis. SMC (1998)
Mireille Larnac, Vincent Chapurlat, Janine Magnier, Benjamin Chenot
Formal Representation and Proof of the Interpreted Sequential Machine Model. EUROCAST (1997)
Mireille Larnac, Janine Magnier, Eric Vandermeulen, Gérard Dray, Vincent Chapurlat
Temporal and Functional Verification of a Symbolic Representation of Complex Systems. EUROCAST (1995)