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 × Norway
Collaborated with:
G.Brat D.H.Bushnell D.Giannakopoulou F.Howar T.Kahsai
Talks about:
verifi (1) system (1) safeti (1) flight (1) critic (1)

Person: Misty Davies

DBLP DBLP: Davies:Misty

Contributed to:

FM 20152015

Wrote 1 papers:

FM-2015-BratBDGHK #safety #verification
Verifying the Safety of a Flight-Critical System (GB, DHB, MD, DG, FH, TK), pp. 308–324.

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.