Aspects of Safety Management : Proceedings of the Ninth Safety-critical Systems Symposium, Bristol, UK 2001 /
Aspects of Safety Management contains the invited papers presented at the ninth annual Safety-critical Systems Symposium, held in Bristol, February 2001. For some time, it has been recognised that technical issues are only one side of the safety coin. The other, often dominant feature, is active, in...
| Main Author: | Redmill, Felix |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Other Authors: | Anderson, Tom |
| Format: | eBook |
| Language: | English |
| Published: |
London :
Springer London,
2001.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Achievement and Assurance of Safety : Proceedings of the Third Safety-critical Systems Symposium /
by: Redmill, Felix
Published: (1995)
by: Redmill, Felix
Published: (1995)
Formal Aspects of Measurement : Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991 /
by: Denvir, Tim
Published: (1992)
by: Denvir, Tim
Published: (1992)
Safety and Reliability of Software Based Systems : Twelfth Annual CSR Workshop (Bruges, 12-15 September 1995) /
by: Shaw, Roger
Published: (1997)
by: Shaw, Roger
Published: (1997)
Reliability, Quality and Safety of Software-Intensive Systems : IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th-30th May 1997, Athens, Greece /
by: Gritzalis, Dimitris
Published: (1997)
by: Gritzalis, Dimitris
Published: (1997)
Semantics for Concurrency : Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK /
by: Kwiatkowska, Marta Zofia
Published: (1990)
by: Kwiatkowska, Marta Zofia
Published: (1990)
Theory and Formal Methods 1993 : Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 /
by: Burn, Geoffrey
Published: (1993)
by: Burn, Geoffrey
Published: (1993)
Managing Interactions in Smart Environments : 1st International Workshop on Managing Interactions in Smart Environments (MANSE'99), Dublin, December 1999 /
by: Nixon, Paddy
Published: (2000)
by: Nixon, Paddy
Published: (2000)
Managing Your Software Project : a Student's Guide /
by: Ricketts, Ian
Published: (1998)
by: Ricketts, Ian
Published: (1998)
Pioneers and Their Contributions to Software Engineering : sd & m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions /
by: Broy, Manfred
Published: (2001)
by: Broy, Manfred
Published: (2001)
TRON Project 1987 Open-Architecture Computer Systems : Proceedings of the Third TRON Project Symposium /
by: Sakamura, Ken
Published: (1987)
by: Sakamura, Ken
Published: (1987)
RIMS Symposium on Software Science and Engineering II : Proceedings of the Symposia 1983 and 1984, Kyoto, Japan /
by: Goto, Eiichi
Published: (1986)
by: Goto, Eiichi
Published: (1986)
VDM '88. VDM - The Way Ahead : 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings /
by: Bloomfield, R.
Published: (1988)
by: Bloomfield, R.
Published: (1988)
Responsive Computing : a Special Issue of REAL-TIME SYSTEMS The International Journal of Time-Critical Computing Systems Vol. 7, No. 3 (1994) /
by: Malek, Miroslaw
Published: (1994)
by: Malek, Miroslaw
Published: (1994)
Topology in Process Calculus : Approximate Correctness and Infinite Evolution of Concurrent Programs /
by: Ying, Mingsheng
Published: (2001)
by: Ying, Mingsheng
Published: (2001)
Analysis and Design of Information Systems /
by: Langer, Arthur M.
Published: (2001)
by: Langer, Arthur M.
Published: (2001)
Java and the Java Virtual Machine : Definition, Verification, Validation /
by: Stärk, Robert F.
Published: (2001)
by: Stärk, Robert F.
Published: (2001)
5th Refinement Workshop : Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 /
by: Jones, Cliff B.
Published: (1992)
by: Jones, Cliff B.
Published: (1992)
Application and Theory of Petri Nets : Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Strasbourg, 23.-26. September 1980 Bad Honnef, 28.-30. September 1981 /
by: Girault, Claude
Published: (1982)
by: Girault, Claude
Published: (1982)
Functional Programming : Proceedings of the 1989 Glasgow Workshop 21-23 August 1989, Fraserburgh, Scotland /
by: Davis, Kei
Published: (1990)
by: Davis, Kei
Published: (1990)
APL2 in Depth /
by: Thomson, Norman D.
Published: (1995)
by: Thomson, Norman D.
Published: (1995)
High-Integrity Software /
by: Sennett, C. T.
Published: (1990)
by: Sennett, C. T.
Published: (1990)
Intersensory Perception and Sensory Integration /
by: Walk, Richard D.
Published: (1981)
by: Walk, Richard D.
Published: (1981)
Subrecursive Programming Systems : Complexity & Succinctness /
by: Royer, James S.
Published: (1994)
by: Royer, James S.
Published: (1994)
The Science of Programming /
by: Gries, David
Published: (1981)
by: Gries, David
Published: (1981)
Security and Persistence : Proceedings of the International Workshop on Computer Architectures to Support Security and Persistence of Information 8-11 May 1990, Bremen, West Germany /
by: Rosenberg, John
Published: (1990)
by: Rosenberg, John
Published: (1990)
Introduction to Programming with Modula-2 /
by: Blaschek, Günther
Published: (1990)
by: Blaschek, Günther
Published: (1990)
Programming with MotifTM /
by: Gregory, Keith D.
Published: (1992)
by: Gregory, Keith D.
Published: (1992)
JSP for Practical Program Design /
by: Dudman, K. E.
Published: (1996)
by: Dudman, K. E.
Published: (1996)
High-Integrity System Specification and Design /
by: Bowen, Jonathan P.
Published: (1999)
by: Bowen, Jonathan P.
Published: (1999)
An Integrated Approach to Software Engineering /
by: Jalote, Pankaj
Published: (1997)
by: Jalote, Pankaj
Published: (1997)
Software Architectures and Component Technology /
by: Akşit, Mehmet
Published: (2002)
by: Akşit, Mehmet
Published: (2002)
Using the STL : the C++ Standard Template Library /
by: Robson, Robert
Published: (2000)
by: Robson, Robert
Published: (2000)
Programming for Software Sharing /
by: Muxworthy, D. T.
Published: (1983)
by: Muxworthy, D. T.
Published: (1983)
Essential Dynamic HTML fast /
by: Ayesh, Aladdin
Published: (2000)
by: Ayesh, Aladdin
Published: (2000)
Object-Oriented Programming : in Oberon-2 /
by: Mössenböck, Hanspeter
Published: (1993)
by: Mössenböck, Hanspeter
Published: (1993)
The Renaissance of Legacy Systems : Method Support for Software-System Evolution /
by: Warren, Ian
Published: (1999)
by: Warren, Ian
Published: (1999)
The Ada® Generic Library : Linear List Processing Packages /
by: Musser, David R.
Published: (1989)
by: Musser, David R.
Published: (1989)
Software Reuse /
by: Coulange, Bernard
Published: (1998)
by: Coulange, Bernard
Published: (1998)
The IOTA Programming System : a Modular Programming Environment /
by: Nakajima, R.
Published: (1983)
by: Nakajima, R.
Published: (1983)
Approaches to Prototyping /
by: Budde, Reinhard
Published: (1984)
by: Budde, Reinhard
Published: (1984)