Login / Signup
Runtime Verification of Biological Systems.
Alexandre David
Kim Guldstrand Larsen
Axel Legay
Marius Mikucionis
Danny Bøgsted Poulsen
Sean Sedwards
Published in:
ISoLA (1) (2012)
Keyphrases
</>
biological systems
biologically inspired
complex systems
systems biology
neural dynamics
engineering problems
artificial systems
model checking
biological networks
biological processes
biologically inspired design
living systems
signal transduction
living organisms
computational models
complex biological systems
multi modal
social networks
drug discovery