J-C. Fernandez
Centre National de la Recherche Scientifique(FR)Translational Innovation in Medicine and Complexity(FR)
Publications by Year
Research Areas
Formal Methods in Verification, Embedded Systems Design Techniques, Model-Driven Software Engineering Techniques, Machine Learning and Data Classification