Safety-Critical Mailing List Archive 1995
By Author

• Aaron S. Binns
  • Safety Critial System Development Mon, 19 Jun 1995 16:22:40 EDT
• Andrew Collins
  • Periodicals Tue, 13 Jun 1995 12:18:17 +1000
• Andrew J Collins
  • FMECA Mon, 22 May 1995 10:39:34 +1000
• Andy Ashworth
  • Re: Safety-Critical Certification Tue, 31 Oct 1995 16:45:46 GMT
• Bernard Kiyanda
  • Electrical packaging Wed, 18 Oct 1995 08:28:48 -0400
• Bits
  • 10/10 -- A Day in the Life of Cyberspace (http://www.1010.org/) Sat, 7 Oct 1995 23:36:30 -0400
• bob(at)minster
  • CFP: Formal Aspects of The Human Computer Interface Mon Sep 11 11:32:49 1995 +0100
• Brian A Wichmann
  • New certification service Wed, 1 Nov 1995 10:03:01 GMT
  • Conference Tue, 29 Aug 1995 15:38:43 BST
• Cooper Phil
  • RE: Bits that go bump in the night Thu, 28 Dec 1995 17:27:00 PST
  • Integrity Implied by Ada Compiler Validation? Fri, 07 Jul 1995 16:21:00 PDT
  • RE: Integrity Implied by Ada Compiler Validation? Fri, 07 Jul 1995 14:08:00 PDT
  • RE: Compiler Bugs Mon, 05 Jun 1995 09:59:00 PDT
• CWaite(at)pseg.com
  • Bits that go bump in the night Wed, 27 Dec 1995 20:37:23 EST
• Daniel Thonon - Sema Group
  • RE: Integrity Implied by Ada Compiler Validation? Fri, 07 Jul 1995 16:18:38 MET_DST
  • RE: internal representation of hazard-cause specifications Thu, 22 Jun 1995 19:33:18 MET_DST
  • RE: Periodicals Tue, 13 Jun 1995 10:10:14 MET_DST
  • FMEA applied to software - more Mon, 12 Jun 1995 19:10:40 MET_DST
  • FMEA applied to software Fri, 09 Jun 1995 18:07:43 MET_DST
• Dave Stringer-Calvert
  • Re: Integrity Implied by Ada Compiler Validation? Tue, 11 Jul 1995 13:23:54 +0100
  • Compiler Bugs - Part Two Mon, 5 Jun 1995 14:22:43 +0100
• Dennis Lawrence
  • Conf Announcement - Software Engineering Standards Symposium Tue, 20 Jun 1995 15:11 PST
  • IEEE Software Safety Planning Group Fri, 5 May 1995 13:21 PST
• Derek Tang
  • Ada vs Smalltalk 7 Jul 1995 12:59:32 -0400
• Friedman, Michael A
  • new book on sw reliability, safety 26 Sep 1995 08:47:16 -0800
• Gail.B.Cochrane(at)trw.com
  • Safety-Critical Certification 12 Oct 1995 13:13:59 -0400
• Garlington KE
  • ACVC validation vs. safety-critical software Mon, 10 Jul 1995 09:27:04 -0500 (CDT)
  • Re: A 777 Article you won't want to read Wed, 7 Jun 1995 14:33:56 -0500 (CDT)
• HEBBRON BARRY D
  • In search of Ed. and Co. Fri, 30 Jun 1995 14:12:11 GMT0BST
• icw(at)minster
  • Re: Integrity Implied by Ada Compiler Validation? Mon Jul 10 09:25:38 1995 +0100
• J. E. Borggren
  • Safety Analysis Techniques for Software Wed, 20 Dec 1995 10:34:12 GMT
  • Survey of Safety Problems Thu, 17 Aug 1995 10:45:29 PDT
  • Classification of Safety Issues Thu, 3 Aug 1995 11:12:09 PDT
  • Classification of Safety Systems Tue, 18 Jul 1995 11:16:24 PDT
• Janusz Zalewski
  • SafetyWorkshop Thu, 21 Sep 1995 11:37 EDT
• jbrooksh(at)calstar3.lasc.lockheed.com
  • Integrity Implied by Ada Compiler Validation? Fri, 7 Jul 1995 07:35:13 +0500
• Jeffrey Brown
  • Q re SafeComp '95 Thu, 20 Jul 1995 11:15:17 -0500
  • Classification of Safety Systems -Therapeutic Systems Wed, 19 Jul 1995 12:47:42 -0500
  • Classification of Safety Systems - Reply Tue, 18 Jul 1995 15:10:12 -0500
• John Harauz
  • ICECCS'95 program and registration details Fri, 1 Sep 1995 11:41:28 -0400 (EDT)
  • Request for Interest/Participation in ISESS'97 and ICECCS'96 Sun, 13 Aug 1995 18:40:30 -0400 (EDT)
  • ISESS95 Tutorial on Applying Standards to Software Reliability Engineering Sat, 29 Jul 1995 17:39:29 -0400 (EDT)
• John McDermid
  • Re: Integrity Implied by Ada Compiler Validation? Mon Jul 10 07:04:38 1995 +0100
• johnson(at)dcs.gla.ac.uk
  • 2 Research Assistant posts, University of Glasgow, Scotland Tue, 1 Aug 1995 09:47:56 BST
• Jonathan Moffett
  • New version of the Dependability References Database Fri, 1 Dec 1995 14:45:21 +0000
  • Re: Classification of Safety Problems Tue, 25 Jul 1995 09:03:18 +0100
  • Re: Classification of Safety Systems Wed, 19 Jul 1995 12:47:42 -0500
  • Modular MSc in Safety Critical Systems Engineering Fri, 30 Jun 1995 14:12:11 GMT0BST
• K. van de Wetering
  • Book: definitions for hw/sw rel engineers Tue, 19 Dec 1995 16:35:32 +0100 (MET)
• ladkin(at)TechFak.Uni-Bielefeld.DE
  • Re: Safety Analysis Techniques for Software Wed, 20 Dec 1995 14:18:09 +0100
  • Re: FMEA applied to software Fri, 9 Jun 1995 20:02:41 +0200
  • A 777 Article you won't want to read Wed, 7 Jun 1995 10:49:04 +0200
• Martin Rothfelder
  • FERS 1995: Call for Participation 10 Jul 1995 05:22:34 EDT
• Martyn Thomas
  • Re: Compiler Bugs - Part Two Mon, 5 Jun 1995 15:21:06 +0100 (BST)
• Martyn.Dowell(at)jrc.it
  • Safecomp '95 Information 19 May 1995 16:02:31 +0000
• Mike Holcombe
  • WWW correction Wed, 28 Jun 1995 14:17:08 GMT
  • Introduction Mon, 26 Jun 1995 11:00:20 GMT
  • Short term fellowships Wed, 14 Jun 1995 16:06:55 GMT
• Nancy Leveson
  • Re: Safety Analysis Techniques for Software Wed, 20 Dec 1995 04:07:03 PST
  • Re: New book - Computer Control and Human Error Tue, 29 Aug 1995 08:53:38 PDT
  • Re: Classification of Safety Problems Tue, 25 Jul 1995 05:15:24 PDT
  • Re: Integrity Implied by Ada Compiler Validation? Sat, 08 Jul 1995 21:34:11 PDT
  • Re: Modular MSc in Safety Critical Systems Engineering Fri, 30 Jun 1995 05:31:37 PDT
  • new book Tue, 27 Jun 1995 14:52:34 PDT
  • Re: Safety Critial System Development Thu, 22 Jun 1995 06:03:02 PDT
• Paul K. Joannou
  • IEEE Formal Methods Planning Group Fri, 16 Jun 1995 15:33:24 -0400
• Pete Mellor
  • Call for Papers: Intl. J. of Law and Information Technology Mon, 17 Jul 1995 17:17:00 BST
  • Re: Integrity Implied by Ada Compiler Validation? Mon, 10 Jul 1995 11:18:07 BST
• pete(at)minster
  • Re: Ada vs Smalltalk Fri Jul 7 18:21:52 1995 +0100
  • Re: FMEA applied to software Fri Jun 9 19:43:09 1995 +0100
  • Re: FMEA applied to software Fri Jun 9 17:22:06 1995 +0100
• PWH Chung
  • New book - Computer Control and Human Error Tue, 29 Aug 1995 14:34:30 BST
• Robin Bloomfield
  • Re: Safety-Critical Certification Wed, 1 Nov 1995 07:41:25 +0000
• Vikram Singh Rana
  • real time networks for safety critical applications Tue, 18 Jul 1995 16:39:36 -0400 (EDT)
• William Petrick
  • Re: Bits that go bump in the night Fri, 29 Dec 1995 17:08:01 -0800
• Xiping Song
  • internal representation of hazard-cause specifications Tue, 13 Jun 1995 15:25:50 -0400
• zalewski(at)db.erau.edu
  • Safety_Workshop Tue, 6 Jun 1995 15:44:12 EDT

This archive was generated by hypermail 2.0b3 on Tue 21 Aug 2001 - 14:22:46 BST