Travelled to:1 × France
1 × Germany
Collaborated with:M.Hirech A.Greiner E.H.Rejouan C.K.Lennard V.Berman S.Fazzari M.Indovina C.Ussery M.Strik J.Wilson F.Rémond P.Bricaud
Talks about:design (2) consortium (1) techniqu (1) industri (1) testabl (1) redefin (1) symbol (1) spirit (1) specif (1) integr (1)
Person: Olivier Florent
DBLP: Florent:Olivier
Contributed to:
20061994Wrote 2 papers:
- DATE-DF-2006-LennardBFIUSWFRB #design #integration #proving #specification
- Industrially proving the SPIRIT consortium specifications for design chain integration (CKL, VB, SF, MI, CU, MS, JW, OF, FR, PB), pp. 142–147.
- EDAC-1994-HirechFGR #design #simulation #testing
- A Redefinable Symbolic Simulation Technique to Testability Design Rules Checking (MH, OF, AG, EHR), p. 668.