Runtime Verification of Biological Systems.
Alexandre DavidKim Guldstrand LarsenAxel LegayMarius MikucionisDanny Bøgsted PoulsenSean SedwardsPublished 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