conf.researchr.org / Pierre Jouvelot
Not registered as user yet
Name:Pierre Jouvelot
Country:France
Affiliation:MINES ParisTech, PSL University
Contributions
FARM 2021 | Author of The W-calculus: A Synchronous Framework for the Verified Modelling of Digital Signal Processing Algorithms within the FARM 2021-track |