Travelled to:
1 × India
1 × Japan
Collaborated with:
H.Tai S.Amano T.Tateishi K.Ono S.Saito
Talks about:
spreadsheet (1) flexibl (1) environ (1) control (1) format (1) verif (1) model (1) dhtml (1) autom (1) tool (1)
Person: Hisashi Miyashita
DBLP: Miyashita:Hisashi
Contributed to:
Wrote 2 papers:
- ICSE-2014-MiyashitaTA #modelling #spreadsheet #using
- Controlled modeling environment using flexibly-formatted spreadsheets (HM, HT, SA), pp. 978–988.
- ASE-2006-TateishiMOS #automation #verification
- Automated Verification Tool for DHTML (TT, HM, KO, SS), pp. 363–364.