Author: Jean-Baptiste Rigaud
Publications
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