Travelled to:1 × Germany
1 × Italy
Collaborated with:M.Goldsmith N.Moffat B.Roscoe T.Whitworth
Talks about:transform (1) watchdog (1) properti (1) system (1) orient (1) critic (1) verif (1) valid (1) model (1) check (1)
Person: Irfan Zakiuddin
DBLP: Zakiuddin:Irfan
Contributed to:
20031998Wrote 2 papers:
- FME-2003-GoldsmithMRWZ #model checking
- Watchdog Transformations for Property-Oriented Model-Checking (MG, NM, BR, TW, IZ), pp. 600–616.
- FM-1998-GoldsmithZ #csp #validation #verification
- Critical Systems Validation and Verification with CSP and FDR (MG, IZ), pp. 243–250.