Travelled to:
3 × USA
Collaborated with:
D.C.Luckham ∅ L.M.Augustin Y.Huh A.G.Stanculescu
Talks about:
event (3) pattern (2) design (2) valid (2) use (2) map (2) discret (1) compar (1) verif (1) simul (1)
Person: Benoit A. Gennart
DBLP: Gennart:Benoit_A=
Contributed to:
Wrote 3 papers:
- DAC-1993-Gennart #comparative #design #validation
- Comparative Design Validation Based on Event Pattern Mappings (BAG), pp. 373–378.
- DAC-1992-GennartL #simulation #using #validation
- Validating Discrete Event Simulations Using Event Pattern Mappings (BAG, DCL), pp. 414–419.
- DAC-1988-AugustinGHLS #design #using #verification
- Verification of VHDL Designs Using VAL (LMA, BAG, YH, DCL, AGS), pp. 48–53.