Travelled to:1 × Belgium
1 × USA
Collaborated with:∅ K.L.McMillan
Talks about:method (2) formal (2) design (2) verif (2) project (1) convent (1) analysi (1) system (1) integr (1) critic (1)
Person: Ásgeir Th. Eiríksson
DBLP: Eir=iacute=ksson:=Aacute=sgeir_Th=
Contributed to:
1996
1995Wrote 2 papers:
- DAC-1996-Eiriksson #design #verification
- Integrating Formal Verification Methods with A Conventional Project Design Flow (ÁTE), pp. 666–671.
- CAV-1995-EirikssonM #analysis #case study #design #using #verification
- Using Formal Verification/Analysis Methods on the Critical Path in System Design: A Case Study (ÁTE, KLM), pp. 367–380.