Travelled to:2 × USA
Collaborated with:P.Azéma R.Valette P.D.Amer T.J.Connolly C.Chassot
Talks about:servic (2) multimedia (1) transport (1) reliabl (1) partial (1) hardwar (1) design (1) common (1) applic (1) verif (1)
Person: Michel Diaz
DBLP: Diaz:Michel
Contributed to:
1993
1976Wrote 2 papers:
- HPDC-1993-AmerCCD #multi #partial order #reliability
- Partial Order Transport Service for Multimedia Applications: Reliable Service (PDA, TJC, CC, MD), pp. 272–280.
- DAC-1976-AzemaVD #design #hardware #petri net #simulation #verification
- Petri nets as a common tool for design verification and hardware simulation (PA, RV, MD), pp. 109–116.