Collaborated with:L.Huang
Talks about:constraint (1) automot (1) system (1) safeti (1) formal (1) cooper (1) verif (1) secur (1) relat (1) time (1)
Person: Eun-Young Kang 0001
DBLP: 0001:Eun=Young_Kang
Contributed to:
2019Wrote 1 papers:
- FASE-2019-HuangK #constraints #safety #security #verification
- Formal Verification of Safety & Security Related Timing Constraints for a Cooperative Automotive System (LH, EYK0), pp. 210–227.