Klaus Brunnstein (brunnstein(at)informatik.uni-hamburg.de)
Fri, 4 Dec 1998 17:56:11 +0100
Brian, may I also ask you kindly to send the article as I dont have access to IEEE sites (and dont wish becoming a member). Regards Klaus Brunnstein (December 4,1998) -----Ursprungliche Nachricht----- Von: Brian Wichmann [SMTP:baw(at)cise.npl.co.uk] Gesendet am: Freitag, 4. Dezember 1998 01:00 An: hise-safety-critical(at)cs.york.ac.uk Betreff: Re: Correctness and safety I don't like e-mailing 'big' stuff (there is one big gif), and it seemed better giving the stuff to IEE than placing it one NPL's Web site. I can e-mail it to anybody who wants it. Brian. ------------------------------------------------------------- Brian Wichmann Tele: +44 181 943 6976 (direct) National Physical Laboratory FAX: +44 181 977 7091 Teddington Middlesex e-mail: Brian.Wichmann(at)npl.co.uk TW11 0LW UK (Typically not available on Wednesdays.) WWW: http://www.npl.co.uk/npl/cise/index.html The contents of the above message, unless explicitly stated otherwise, are my views alone and should not be taken as representing the views held by NPL Management Ltd. -------------------------------------------------------------