Formal methods for modelling and validation of biological models / Alexandre Rocca
; sous la direction de Thao Dang. Thèse de doctorat : Mathématiques Appliquées : Grenoble
Alpes : 2018
Information trouvée : Maitre de Conférences – Université Masaryk De Brno - R. Tcheque.
http://id.loc.gov/authorities/names/nb2016003727, 2021-07-01
Information trouvée : Šafránek, David
https://www.muni.cz/lide/3159-david-safranek/s, 2021-07-01
Information trouvée : Informaticien. Professeur, Katedra strojového učení a zpracování dat, Fakulta informatiky,
Masarykova univerzita, Brno, République tchèque. - Naissance : 1977-09-28, Brno, République
tchèque