Travelled to:
1 × USA
Collaborated with:
V.S.Alagar O.Ormandjieva
Talks about:
reactiv (1) system (1) specif (1) time (1) test (1) real (1) base (1)
Person: Mao Zheng
DBLP: Zheng:Mao
Contributed to:
Wrote 1 papers:
- TOOLS-USA-2000-AlagarOZ #realtime #testing
- Specification-Based Testing for Real-Time Reactive Systems (VSA, OO, MZ), pp. 25–36.