Sciweavers

EURODAC
1994
IEEE
127views VHDL» more  EURODAC 1994»
14 years 3 months ago
A process algebra interpretation of a verification oriented overlanguage of VHDL
The VOVHDL language was defined as a verification oriented VHDL
Catherine Bayol, Bernard Soulas, Dominique Borrion...