Travelled to:1 × USA
Collaborated with:H.A.Richter B.H.C.Cheng
Talks about:within (1) integr (1) formal (1) model (1) dynam (1) omt (1)
Person: Enoch Y. Wang
DBLP: Wang:Enoch_Y=
Contributed to:
1997Wrote 1 papers:
- ICSE-1997-WangRC #formal method
- Formalizing and Integrating the Dynamic Model within OMT (EYW, HAR, BHCC), pp. 45–55.