Travelled to:1 × Sweden
1 × Switzerland
Collaborated with:M.Saaltink D.Craigen
Talks about:system (2) ada (2) approach (1) guidanc (1) integr (1) critic (1) analyt (1) high (1) use (1)
Person: Steve Michell
DBLP: Michell:Steve
Contributed to:
19981996Wrote 2 papers:
- AdaEurope-1998-Saaltink #ada #using
- Guidance on the Use of Ada95 in High Integrity Systems (SM, MS), pp. 276–287.
- AdaEurope-1996-CraigenSM #ada #approach
- Ada 95 and Critical Systems: An Analytical Approach (DC, MS, SM), pp. 171–182.