Travelled to:1 × Austria
Collaborated with:H.Zhang Y.Chiba H.Tanizaki T.Katayama
Talks about:configur (1) variabl (1) softwar (1) checker (1) verifi (1) method (1) applic (1) model (1) manag (1) osek (1)
Person: Toshiaki Aoki
DBLP: Aoki:Toshiaki
Contributed to:
2015
2012Wrote 2 papers:
- ICST-2015-ZhangAC #exclamation #model checking #verification
- Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications (HZ, TA, YC), pp. 1–10.
- SEKE-2012-TanizakiAK #variability
- A Variability Management Method for Software Configuration Files (HT, TA, TK), pp. 672–677.