Travelled to:1 × New Zealand
1 × USA
Collaborated with:C.Hankin A.Ray I.Morschhaeuser C.Ackermann R.Cleaveland C.P.Shelton
Talks about:instrument (1) softwar (1) control (1) automot (1) lattic (1) verif (1) valid (1) point (1) finit (1) find (1)
Person: Chris Martin
DBLP: Martin:Chris
Contributed to:
2009
1987Wrote 2 papers:
- ASE-2009-RayMACSM #using #validation #verification
- Validating Automotive Control Software Using Instrumentation-Based Verification (AR, IM, CA, RC, CPS, CM), pp. 15–25.
- FPCA-1987-MartinH #finite #fixpoint
- Finding fixed points in finite lattices (CM, CH), pp. 426–445.