On the Validation of SPDM Task Verification Facility.

Ou Ma Jiegao Wang Sarthak Misra Michael Liu

Published in: J. Field Robotics (2004)

Keyphrases

model checking
formal verification
face verification
verification method
real world
social networks
case study
formal methods
optimal location