Understanding the Origin of Alarms in Astrée.

Published in: SAS (2005)

Keyphrases

cooperative
trade off
special case
computational modeling
real time
computer vision
mobile devices
deeper understanding