Marc Renaudin

Author: Marc Renaudin

Publications

Publication period start: 2003
Number of co-authors: 5

Co-authors

Number of publications with favourite co-authors
Emil Dumitrescu
1
Jean-Baptiste Rigaud
1
Antoine Sirianni
1

Productive Colleagues

Most productive colleagues in number of publications
Emil Dumitrescu
1
Jean-Baptiste Rigaud
1
Antoine Sirianni
1

Publications

Borrione, Dominique, Boubekeur, Menouer, Dumitrescu, Emil, Renaudin, Marc, Rigaud, Jean-Baptiste, Sirianni, Antoine (2003): An Approach to the Introduction of Formal Validation in an Asynchronous Circuit Design Flo. In: HICSS 2003 , 2003, . pp. 279. https://csdl.computer.org/comp/proceedings/hicss/2003/1874/09/187490279babs.htm