Travelled to:1 × Italy
1 × Switzerland
1 × The Netherlands
1 × United Kingdom
Collaborated with:∅ C.A.Middelburg R.Groenboom E.Saaman E.Rotterdam S.v.Denneheuvel K.L.Kwast E.Spaan
Talks about:formal (3) logic (2) anaesthesia (1) comparison (1) modularis (1) develop (1) system (1) specif (1) serial (1) semant (1)
Person: Gerard R. Renardel de Lavalette
DBLP: Lavalette:Gerard_R=_Renardel_de
Contributed to:
1996
1991
1991
1991Wrote 7 papers:
- FME-1996-GroenboomSRL #case study #formal method #specification
- Formalizing Anaesthesia: a case study in formal specification (RG, ES, ER, GRRdL), pp. 120–139.
- CSL-1991-Lavalette #composition #logic #semantics
- Logical Semantics of Modularisation (GRRdL), pp. 306–315.
- RTA-1991-DenneheuvelKLS #optimisation #query #using
- Query Optimization Using Rewrite Rules (SvD, KLK, GRRdL, ES), pp. 252–263.
- VDME-1991-Lavalette #development
- Formal Development of a Serial Copy Management System (GRRdL), pp. 477–495.
- VDME-1991-MiddelburgL #comparison #logic
- LPF and MPLω — A Logical Comparison of VDM SL and COLD-K (CAM, GRRdL), pp. 279–308.