Safety-Critical Mailing List Archive 1995
By Thread

• Safecomp '95 Information Martyn.Dowell(at)jrc.it
• FMECA Andrew J Collins
• IEEE Software Safety Planning Group Dennis Lawrence
• Compiler Bugs - Part Two Dave Stringer-Calvert
  • Re: Compiler Bugs - Part Two Martyn Thomas
• RE: Compiler Bugs Cooper Phil
• Safety_Workshop zalewski(at)db.erau.edu
• A 777 Article you won't want to read ladkin(at)TechFak.Uni-Bielefeld.DE
  • Re: A 777 Article you won't want to read Garlington KE
• Re: FMEA applied to software ladkin(at)TechFak.Uni-Bielefeld.DE
• FMEA applied to software Daniel Thonon - Sema Group
  • Re: FMEA applied to software pete(at)minster
  • Re: FMEA applied to software pete(at)minster
• Conf Announcement - Software Engineering Standards Symposium Dennis Lawrence
• FMEA applied to software - more Daniel Thonon - Sema Group
• Periodicals Andrew Collins
  • RE: Periodicals Daniel Thonon - Sema Group
• internal representation of hazard-cause specifications Xiping Song
  • RE: internal representation of hazard-cause specifications Daniel Thonon - Sema Group
• Short term fellowships Mike Holcombe
• IEEE Formal Methods Planning Group Paul K. Joannou
• Safety Critial System Development Aaron S. Binns
  • Re: Safety Critial System Development Nancy Leveson
• Introduction Mike Holcombe
• new book Nancy Leveson
• WWW correction Mike Holcombe
• Re: Modular MSc in Safety Critical Systems Engineering Nancy Leveson
• In search of Ed. and Co. HEBBRON BARRY D
• Modular MSc in Safety Critical Systems Engineering Jonathan Moffett
• Integrity Implied by Ada Compiler Validation? jbrooksh(at)calstar3.lasc.lockheed.com
  • Re: Integrity Implied by Ada Compiler Validation? Nancy Leveson
• Ada vs Smalltalk Derek Tang
  • Re: Ada vs Smalltalk pete(at)minster
• Integrity Implied by Ada Compiler Validation? Cooper Phil
  • RE: Integrity Implied by Ada Compiler Validation? Cooper Phil
  • RE: Integrity Implied by Ada Compiler Validation? Daniel Thonon - Sema Group
  • Re: Integrity Implied by Ada Compiler Validation? John McDermid
  • Re: Integrity Implied by Ada Compiler Validation? icw(at)minster
  • Re: Integrity Implied by Ada Compiler Validation? Pete Mellor
  • Re: Integrity Implied by Ada Compiler Validation? Dave Stringer-Calvert
• FERS 1995: Call for Participation Martin Rothfelder
• ACVC validation vs. safety-critical software Garlington KE
• Call for Papers: Intl. J. of Law and Information Technology Pete Mellor
• Classification of Safety Systems J. E. Borggren
  • Re: Classification of Safety Systems Jonathan Moffett
• Classification of Safety Systems - Reply Jeffrey Brown
• real time networks for safety critical applications Vikram Singh Rana
• Classification of Safety Systems -Therapeutic Systems Jeffrey Brown
• Q re SafeComp '95 Jeffrey Brown
• Re: Classification of Safety Problems Jonathan Moffett
• Re: Classification of Safety Problems Nancy Leveson
• ISESS95 Tutorial on Applying Standards to Software Reliability Engineering John Harauz
• 2 Research Assistant posts, University of Glasgow, Scotland johnson(at)dcs.gla.ac.uk
• Classification of Safety Issues J. E. Borggren
• Request for Interest/Participation in ISESS'97 and ICECCS'96 John Harauz
• Survey of Safety Problems J. E. Borggren
• New book - Computer Control and Human Error PWH Chung
  • Re: New book - Computer Control and Human Error Nancy Leveson
• Conference Brian A Wichmann
• ICECCS'95 program and registration details John Harauz
• SafetyWorkshop Janusz Zalewski
• CFP: Formal Aspects of The Human Computer Interface bob(at)minster
• new book on sw reliability, safety Friedman, Michael A
• 10/10 -- A Day in the Life of Cyberspace (http://www.1010.org/) Bits
• Safety-Critical Certification Gail.B.Cochrane(at)trw.com
  • Re: Safety-Critical Certification Andy Ashworth
  • Re: Safety-Critical Certification Robin Bloomfield
• Electrical packaging Bernard Kiyanda
• New certification service Brian A Wichmann
• New version of the Dependability References Database Jonathan Moffett
• Book: definitions for hw/sw rel engineers K. van de Wetering
• Safety Analysis Techniques for Software J. E. Borggren
  • Re: Safety Analysis Techniques for Software Nancy Leveson
  • Re: Safety Analysis Techniques for Software ladkin(at)TechFak.Uni-Bielefeld.DE
• Bits that go bump in the night CWaite(at)pseg.com
  • RE: Bits that go bump in the night Cooper Phil
  • Re: Bits that go bump in the night William Petrick

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