eSMART is a spin-off of the EPFL (Ecole Polytechnique de Lausanne), founded in 2011, that develops intelligent management systems for...
D-RisQ develop automatic, high integrity, software verification tools that can reduce the cost of developing safety related software by 80%...