Login / Signup

Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints.

Elisabetta De MariaFrançois FagesAurélien RizkSylvain Soliman
Published in: Theor. Comput. Sci. (2011)
Keyphrases
  • temporal logic
  • computational model
  • model checking
  • knowledge base
  • data model
  • probabilistic model
  • high speed
  • network model
  • reactive systems
  • cell cycle