BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × USA
Collaborated with:
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 DBLP: Eir=iacute=ksson:=Aacute=sgeir_Th=

Contributed to:

DAC 19961996
CAV 19951995

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.