Pascal Bernard

Publication Activity (10 Years)

Years Active: 1993-2007
Publications (10 Years): 0

Publications

Klaus Gaedke, Malte Borsum, Marco Georgi, Andreas Kluger, Jean-Pierre Le Glanic, Pascal Bernard
Architecture and VLSI Implementation of a programmable HD Real-Time Motion Estimator. ISCAS (2007)
Pascal Bernard, Guy Laffitte
The French Population Census for 1990. ZUM (1995)
Henri Habrias, Pascal Bernard, Alain Vailly
Diachronie et synchronie en spécification, une illustration en Z. INFORSID (1995)
Pascal Bernard
Some elements of methods to deal with equivalences in specification and program development. JFPL (1993)