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 × Spain
1 × USA
1 × United Kingdom
Collaborated with:
P.Amey R.Chapman K.Haller A.L.John M.Sitharam I.Streinu
Talks about:
system (2) constraint (1) geometr (1) integr (1) critic (1) certif (1) world (1) smart (1) high (1) bodi (1)

Person: Neil White

DBLP DBLP: White:Neil

Contributed to:

SAC 20092009
Ada-Europe 20052005
Ada-Europe 20042004

Wrote 3 papers:

SAC-2009-HallerJSSW #constraints #geometry
Body-and-cad geometric constraint systems (KH, ALSJ, MS, IS, NW), pp. 1127–1131.
AdaEurope-2005-AmeyCW #certification
Smart Certification of Mixed Criticality Systems (PA, RC, NW), pp. 144–155.
AdaEurope-2004-AmeyW #ada #c #uml
High Integrity Ada in a UML and C World (PA, NW), pp. 225–236.

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.