Safety-Critical Mailing List Archive 1995
By Subject

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

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