Travelled to:1 × Canada
Collaborated with:L.Fang T.Kitamura H.Ohsaki
Talks about:multicor (1) autosar (1) formal (1) model (1) test (1) rtos (1) base (1)
Person: Thi Bich Ngoc Do
DBLP: Do:Thi_Bich_Ngoc
Contributed to:
2012Wrote 1 papers:
- ICST-2012-FangKDO #formal method #manycore #modelling
- Formal Model-Based Test for AUTOSAR Multicore RTOS (LF, TK, TBND, HO), pp. 251–259.