Using Formal Tools to Study Complex Circuits Behaviour.

Paul Amblard Fabienne Lagnier Michel Lévy

Published in: DSD (2002)

Keyphrases

experimental study
high speed
quantitative and qualitative
formal models
genetic algorithm
digital libraries
user interface
end users
decision support
statistical analysis
formal methods
formal analysis
cell biology