Travelled to:
1 × Canada
Collaborated with:
E.L.Gunter
Talks about:
framework (1) analysi (1) formal (1) autom (1) task (1) oper (1)
Person: Ayesha Yasmeen
DBLP: Yasmeen:Ayesha
Contributed to:
Wrote 1 papers:
- ISSTA-2011-YasmeenG #analysis #automation #framework
- Automated framework for formal operator task analysis (AY, ELG), pp. 78–88.