Rigorous System Design: The BIP Approach.

Ananda Basu Saddek Bensalem Marius Bozga Paraskevas Bourgos Joseph Sifakis

Published in: MEMICS (2011)

Keyphrases

case study
data sets
design process
engineering design
decision trees
real time
computer vision
image processing
three dimensional
learning environment
user interface
medical images
design issues