Author: Marc Renaudin
Publication Overview
Publication period start: 2003
Number of co-authors: 5
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
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