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: White:Neil
Contributed to:
2009
20052004Wrote 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.