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 × Germany
1 × USA
2 × France
Collaborated with:
K.Morin-Allory A.M.Wahba R.Piloty J.Blasquez M.v.Hulst A.Fedeli J.Lambert C.Hanoch P.Bricaud
Talks about:
correct (2) status (2) techniqu (1) perspect (1) industri (1) project (1) monitor (1) connect (1) circuit (1) specif (1)

Person: Dominique Borrione

DBLP DBLP: Borrione:Dominique

Contributed to:

DATE 20062006
DATE 20022002
ED&TC 19971997
DAC 19821982

Wrote 4 papers:

DATE-2006-Morin-AlloryB #monitoring #specification
Proven correct monitors from PSL specifications (KMA, DB), pp. 1246–1251.
DATE-2002-BlasquezHFLBHB #industrial #verification
Formal Verification Techniques: Industrial Status and Perspectives (JB, MvH, AF, JLL, DB, CH, PB), p. 1050.
EDTC-1997-WahbaB #fault
Connection error location and correction in combinational circuits (AMW, DB), pp. 235–241.
The conlan project: Status and future plans (RP, DB), pp. 202–212.

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.