Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Hunter College [CUNY, New York]
labStructName_s : Laboratoire d'Intégration des Systèmes et des Technologies
Image document

Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts

Imen Boudhiba , Christophe Gaston , Pascale Le Gall , Virgile Prévosto
Testing Software and Systems , 9447), pp.35-51, 2014, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-25945-1_3⟩
Book sections hal-01470156v1
Image document

Touchpad Input for Continuous Biometric Authentication

Alexander Chan , Tzipora Halevi , Nasir Memon
15th IFIP International Conference on Communications and Multimedia Security (CMS), Sep 2014, Aveiro, Portugal. pp.86-91, ⟨10.1007/978-3-662-44885-4_7⟩
Conference papers hal-01404189v1