Travelled to:
1 × Spain
Collaborated with:
Y.Choi
Talks about:
system (2) constraint (1) pattern (1) automot (1) safeti (1) level (1) autom (1) test (1) oper (1) use (1)
Person: Taejoon Byun
DBLP: Byun:Taejoon
Contributed to:
Wrote 1 papers:
- SAC-2015-ByunC #automation #constraints #operating system #safety #testing #using
- Automated system-level safety testing using constraint patterns for automotive operating systems (TB, YC), pp. 1815–1822.