Verifying safety policies with size properties and alias controls.

Wei-Ngan Chin Siau-Cheng Khoo Shengchao Qin Corneliu Popeea Huu Hai Nguyen

Published in: ICSE (2005)

Keyphrases

structural properties
desirable properties
real time
computer vision
image sequences
multiscale
multi agent
search algorithm
artificial neural networks
small size