Travelled to:1 × The Netherlands
Collaborated with:M.Leuschel F.Fritz D.Plagge
Talks about:properti (1) verif (1) scale (1) model (1) autom (1) larg (1)
Person: Jérôme Falampin
DBLP: Falampin:J=eacute=r=ocirc=me
Contributed to:
2009Wrote 1 papers:
- FM-2009-LeuschelFFP #automation #modelling #scalability #verification
- Automated Property Verification for Large Scale B Models (ML, JF, FF, DP), pp. 708–723.