Travelled to:1 × USA
Collaborated with:J.MacDonald M.Shilman A.Tabbara P.N.Hilfinger A.R.Newton
Talks about:success (1) system (1) specif (1) formal (1) design (1) refin (1) embed (1) java (1) use (1)
Person: James Shin Young
DBLP: Young:James_Shin
Contributed to:
1998Wrote 1 papers:
- DAC-1998-YoungMSTHN #design #embedded #java #refinement #specification #using
- Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement (JSY, JM, MS, AT, PNH, ARN), pp. 70–75.