Travelled to:1 × Germany
Collaborated with:∅ M.Doche F.Kordon
Talks about:parallel (1) approach (1) symmetr (1) program (1) modular (1) control (1) system (1) symbol (1) specif (1) flight (1)
Person: Isabelle Vernier-Mounier
DBLP: Vernier-Mounier:Isabelle
Contributed to:
2001
1996Wrote 2 papers:
- FME-2001-DocheVK #approach #composition #specification #validation
- A Modular Approach to the Specification and Validation of an Electrical Flight Control System (MD, IVM, FK), pp. 590–610.
- PDP-1996-Vernier-Mounier #parallel #source code #symbolic computation #symmetry
- Symbolic Executions of Symmetrical Parallel Programs (IVM), pp. 327–335.