Travelled to:
1 × USA
Collaborated with:
I.Lee
Talks about:
generat (1) analysi (1) system (1) effici (1) state (1) space (1) time (1) real (1)
Person: Inhye Kang
DBLP: Kang:Inhye
Contributed to:
Wrote 1 papers:
- ISSTA-1996-KangL #analysis #generative #performance #realtime
- An Efficient State Space Generation for Analysis of Real-Time Systems (IK, IL), pp. 4–13.