Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach.

Published in: FMICS (2008)

Keyphrases

data sets
artificial intelligence
high speed
statistical analysis
quantitative analysis
real time
image processing
multiscale
data analysis
software engineering