Travelled to:1 × China
1 × Spain
Collaborated with:∅ P.J.Graydon J.C.Knight
Talks about:approach (1) softwar (1) practic (1) formal (1) depend (1) verif (1) studi (1) limit (1) echo (1) case (1)
Person: Xiang Yin
DBLP: Yin:Xiang
Contributed to:
2010
2006Wrote 2 papers:
- AdaEurope-2010-GraydonKY #case study #dependence
- Practical Limits on Software Dependability: A Case Study (PJG, JCK, XY), pp. 83–96.
- ICSE-2006-Yin #approach #verification
- The echo approach to formal verification (XY), pp. 981–984.