Login / Signup
Invited Talk: Formal Design in an Industrial Research Laboratory: Lessons and Perspectives.
Jörg Bormann
H. Nusser-Wehlan
Gerd Venzl
Published in:
Designing Correct Circuits (1992)
Keyphrases
</>
invited talk
case study
neural network
design process
lessons learned
information retrieval
artificial intelligence
decision making
data analysis
artificial neural networks
fuzzy logic
formal model
engineering design
formal methods