Travelled to:1 × Singapore
Collaborated with:D.Harel H.Lachover A.Naamad A.Pnueli M.Politi R.Sherman
Talks about:reactiv (1) environ (1) develop (1) complex (1) system (1) statem (1) work (1)
Person: Aharon Shtull-Trauring
DBLP: Shtull-Trauring:Aharon
Contributed to:
1988Wrote 1 papers:
- ICSE-1988-HarelLNPPSS #development
- STATEMATE; A Working Environment for the Development of Complex Reactive Systems (DH, HL, AN, AP, MP, RS, AST), pp. 396–406.