Pixel1.gif (51 bytes)
Pixel1.gif (51 bytes)
Pixel1.gif (51 bytes) Main Page Pixel1.gif (51 bytes)
About DSP Laboratory
People
Research
Publications
Courses
Pixel.gif (52 bytes)
Contact Us
Sponsors
Credits
Pixel.gif (52 bytes)
Search
Go to FIU's Homepage

 

 Pixel1.gif (51 bytes)

 

Curve.gif (104 bytes) Pixel1.gif (51 bytes)

PeNTa: Formal Modeling for Multi-touch Systems Using Petri Net

Pixel1.gif (51 bytes)

Abstract:
 
"PeNTa: Formal Modeling for Multi-touch Systems Using Petri Net", (2014)
Ortega, F., Liu, S., Hernandez, F., Barreto, A., Rishe, N. and Adjouadi, M.
File Does not exist