Datenflussanalyse als Modelchecking im jABC.

Anna-Lena Lamprecht Tiziana Margaria Bernhard Steffen

Published in: Software Engineering (2006)

Keyphrases

laser scanning
pattern recognition
remote sensing data
three dimensional
face recognition