On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets.
Benoît BarbotMarta Z. KwiatkowskaPublished in: Petri Nets (2015)
Keyphrases
- asynchronous circuits
- high speed
- qualitative and quantitative
- formal verification
- biological sequences
- dna sequences
- delay insensitive
- quantitative and qualitative
- dna computing
- formal methods
- model checking
- neural network
- signature verification
- gel electrophoresis
- analog circuits
- tunnel diode
- qualitative models
- formal analysis
- learning algorithm
- machine learning
- data mining