Sciweavers

49
Voted
EURODAC
1994
IEEE
127views VHDL» more  EURODAC 1994»
15 years 29 days 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...