Portable Runtime Verification with Smartphones and Optical Codes.
Kim LavoieCorentin LeplongeonSimon VarvaressosSébastien GabourySylvain HalléPublished in: RV (2014)
Keyphrases
- mobile devices
- error correction
- face verification
- formal verification
- neural network
- personal digital assistants
- case study
- smart phones
- atmospheric turbulence
- database
- fiber optic
- signature verification
- mobile applications
- model checking
- lightweight
- daily life
- augmented reality
- database systems
- error correcting
- error correcting codes
- information systems
- verification method
- data sets
- optical imaging
- optical networks
- real time