Rigorous Component-Based System Design - (Invited Paper).

Ananda Basu Saddek Bensalem Marius Bozga Joseph Sifakis

Published in: WRLA (2012)

Keyphrases

invited paper
user interface
data sets
neural network
case study
artificial neural networks
knowledge based systems
design process
computer aided
engineering design
design space