Joe Razavi

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Provably Correct

Development Lifecycle

Top Venues

Publications

Richard Banach, Joe Razavi, Suzanne Lesecq, Olivier Debicki, Nicolas Mareau, Julie Foucault, Marc Correvon, Gabriela Dudnik
Formal Methods in Systems Integration: Deployment of Formal Techniques in INSPEX. CSDM (2018)