2 × France
Z.Yang D.Ma L.Pi B.Hsu A.Madison K.Chakrabarty R.B.Fair
microfluid (1) experiment (1) recoveri (1) demonstr (1) behavior (1) biochip (1) toward (1) semant (1) formal (1) detect (1)
Person: Kai Hu
Wrote 2 papers:
- DATE-2013-HuHMCF #detection #fault #realtime
- Fault detection, real-time error recovery, and experimental demonstration for digital microfluidic biochips (KH, BNH, AM, KC, RBF), pp. 559–564.
- DATE-2009-YangHMP #behaviour #semantics #towards
- Towards a formal semantics for the AADL behavior annex (ZY, KH, DM, LP), pp. 1166–1171.