Travelled to:1 × France
Collaborated with:B.Kim L.Feng O.Sokolsky I.Lee
Talks about:implement (1) framework (1) platform (1) specif (1) verif (1) model (1) time (1) base (1)
Person: Linh T. X. Phan
DBLP: Phan:Linh_T=_X=
Contributed to:
2015Wrote 1 papers:
- DATE-2015-KimFPSL #framework #implementation #modelling #platform #verification
- Platform-specific timing verification framework in model-based implementation (BK, LF, LTXP, OS, IL), pp. 235–240.