1615 Conference on Prognostic Factors and Staging in Cancer Management: Contributions of Artificial Neural Networks and Other Statistical Methods Supplement to Cancer Artificial…
Slide 1Validation of Qualitative Models of Genetic Regulatory Networks A Method Based on Formal Verification Techniques Grégory Batt Ph.D. defense -- under supervision of…