Travelled to:
1 × Greece
Collaborated with:
F.R.Ortega S.Liu A.Barreto N.Rishe M.Adjouadi
Talks about:
system (1) formal (1) touch (1) petri (1) penta (1) multi (1) model (1) use (1) net (1)
Person: Frank Hernandez
DBLP: Hernandez:Frank
Contributed to:
Wrote 1 papers:
- HCI-TMT-2014-OrtegaLHBRA #formal method #modelling #multi #named #petri net #using
- PeNTa: Formal Modeling for Multi-touch Systems Using Petri Net (FRO, SL, FH, AB, NR, MA), pp. 361–372.