Technology and Assessment of Safety-Critical Systems : Proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8-10 February 1994 /
This is the proceedings of the second annual symposium of the Safety-critical Systems Club (The Belfry, Birmingham, UK, 8-10 February 1994), which examined the various aspects of technology currently employed in the design of safety-critical systems, and emphasized the importance of safety assessmen...
| Main Author: | Redmill, Felix |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Other Authors: | Anderson, Tom |
| Format: | eBook |
| Language: | English |
| Published: |
London :
Springer London,
1994.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Industrial Perspectives of Safety-critical Systems : Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998 /
by: Redmill, Felix
Published: (1998)
by: Redmill, Felix
Published: (1998)
Current Issues in Safety-Critical Systems : Proceedings of the Eleventh Safety-critical Systems Symposium, Bristol, UK, 4-6 February 2003 /
by: Redmill, Felix
Published: (2003)
by: Redmill, Felix
Published: (2003)
Practical Elements of Safety : Proceedings of the Twelfth Safety-critical Systems Symposium, Birmingham, UK, 17-19 February 2004 /
by: Redmill, Felix
Published: (2004)
by: Redmill, Felix
Published: (2004)
Towards System Safety : Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK 1999 /
by: Redmill, Felix
Published: (1999)
by: Redmill, Felix
Published: (1999)
Components of System Safety : Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK 2002 /
by: Redmill, Felix
Published: (2002)
by: Redmill, Felix
Published: (2002)
Directions in Safety-Critical Systems : Proceedings of the First Safety-critical Systems Symposium The Watershed Media Centre, Bristol 9-11 February 1993 /
by: Redmill, Felix
Published: (1993)
by: Redmill, Felix
Published: (1993)
Safety-Critical Systems: The Convergence of High Tech and Human Factors : Proceedings of the Fourth Safety-critical Systems Symposium /
by: Redmill, Felix
Published: (1996)
by: Redmill, Felix
Published: (1996)
Safer Systems : Proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997 /
by: Redmill, Felix
Published: (1997)
by: Redmill, Felix
Published: (1997)
Guide to Applying Human Factors Methods : Human Error and Accident Management in Safety-Critical Systems /
by: Cacciabue, Pietro Carlo
Published: (2004)
by: Cacciabue, Pietro Carlo
Published: (2004)
Aspects of Safety Management : Proceedings of the Ninth Safety-critical Systems Symposium, Bristol, UK 2001 /
by: Redmill, Felix
Published: (2001)
by: Redmill, Felix
Published: (2001)
Embedded Software Development for Safety-Critical Systems.
by: Hobbs, Chris
Published: (2017)
by: Hobbs, Chris
Published: (2017)
Programming Environments for Massively Parallel Distributed Systems : Working Conference of the IFIP WG 10.3, April 25-29, 1994 /
by: Decker, Karsten M.
Published: (1994)
by: Decker, Karsten M.
Published: (1994)
Critical Issues in User Interface Systems Engineering /
by: Benyon, David
Published: (1996)
by: Benyon, David
Published: (1996)
Achievement and Assurance of Safety : Proceedings of the Third Safety-critical Systems Symposium /
by: Redmill, Felix
Published: (1995)
by: Redmill, Felix
Published: (1995)
Testing Safety-Related Software : a Practical Handbook /
by: Gardiner, Stewart N.
Published: (1999)
by: Gardiner, Stewart N.
Published: (1999)
System Development : a Strategic Framework /
by: Bronzite, Michael
Published: (2000)
by: Bronzite, Michael
Published: (2000)
User-Centred Design of Systems /
by: Noyes, Janet M.
Published: (1999)
by: Noyes, Janet M.
Published: (1999)
Electronic Systems Effectiveness and Life Cycle Costing /
by: Skwirzynski, J. K.
Published: (1983)
by: Skwirzynski, J. K.
Published: (1983)
Safe Comp 97 : the 16th International Conference on Computer Safety, Reliability and Security /
by: Daniel, Peter
Published: (1997)
by: Daniel, Peter
Published: (1997)
Fault-Tolerant Computing Systems : Tests, Diagnosis, Fault Treatment 5th International GI/ITG/GMA Conference Nürnberg, September 25-27, 1991 Proceedings /
by: Cin, Mario Dal
Published: (1991)
by: Cin, Mario Dal
Published: (1991)
Learning Technologies and Systems : 21st International Conference on Web-Based Learning, ICWL 2022, and 7th International Symposium on Emerging Technologies for Education, SETE 2022, Tenerife, Spain, November 21-23, 2022, Revised Selected Papers /
Published: (2023)
Published: (2023)
Safe Comp 96 : the 15th International Conference on Computer Safety, Reliability and Security, Vienna, Austria October 23-25 1996 /
by: Schoitsch, Erwin
Published: (1997)
by: Schoitsch, Erwin
Published: (1997)
Systems approach applications for developments in information technology /
Published: (2012)
Published: (2012)
Parallel Processing: CONPAR 92 - VAPP V : Second Joint International Conference on Vector and Parallel Processing, Lyon, France, September 1-4, 1992. Proceedings /
by: Bougé, L. (Luc)
Published: (1992)
by: Bougé, L. (Luc)
Published: (1992)
Performance evaluation of computer and communication systems /
by: Le Boudec, Jean-Yves, 1958-
Published: (2011)
by: Le Boudec, Jean-Yves, 1958-
Published: (2011)
Software Fault Tolerance : Achievement and Assessment Strategies /
by: Kersken, M. (Manfred)
Published: (1992)
by: Kersken, M. (Manfred)
Published: (1992)
Safe Comp 95 : The 14th International Conference on Computer Safety, Reliability and Security, Belgirate, Italy 11-13 October 1995 /
by: Rabe, Gerhard
Published: (1995)
by: Rabe, Gerhard
Published: (1995)
Abstract State Machines : A Method for High-Level System Design and Analysis /
by: Börger, Egon
Published: (2003)
by: Börger, Egon
Published: (2003)
High Speed LAN Technology Handbook /
by: Chowdhury, Dhiman Deb
Published: (2000)
by: Chowdhury, Dhiman Deb
Published: (2000)
OOIS'94 : 1994 International Conference on Object Oriented Information Systems 19-21 December 1994, London /
by: Patel, Dilip
Published: (1995)
by: Patel, Dilip
Published: (1995)
User-Centred Requirements Engineering /
by: Sutcliffe, Alistair
Published: (2002)
by: Sutcliffe, Alistair
Published: (2002)
Model-Based Design and Evaluation of Interactive Applications /
by: Paternò, Fabio, 1960-
Published: (2000)
by: Paternò, Fabio, 1960-
Published: (2000)
Projects in the Computing Curriculum : Proceedings of the Project 98 Workshop, Sheffield 1998 /
by: Holcombe, Mike
Published: (1998)
by: Holcombe, Mike
Published: (1998)
E-Management : the Impact of e-Business on Today's IT Manager /
by: Gouge, Ian
Published: (2003)
by: Gouge, Ian
Published: (2003)
Information Systems : The e-Business Challenge /
by: Traunmüller, R. (Roland)
Published: (2002)
by: Traunmüller, R. (Roland)
Published: (2002)
PARLE '91. Parallel Architectures and Languages Europe : Volume II: Parallel Languages. Eindhoven, the Netherlands, June 10-13, 1991. Proceedings /
by: Aarts, E. H. L. (Emile H. L.)
Published: (1991)
by: Aarts, E. H. L. (Emile H. L.)
Published: (1991)
PARLE '91. Parallel Architectures and Languages Europe : Volume I: Parallel Architectures and Algorithms. Eindhoven, the Netherlands, June 10-13, 1991. Proceedings /
by: Aarts, E. H. L. (Emile H. L.)
Published: (1991)
by: Aarts, E. H. L. (Emile H. L.)
Published: (1991)
Parle '91 Parallel Architectures and Languages Europe : Volume I: Parallel Architectures and Algorithms Eindhoven, the Netherlands, June 10-13, 1991 Proceedings.
Published: (1987)
Published: (1987)
A System Administrator's Guide to Sun Workstations /
by: Becker, George
Published: (1991)
by: Becker, George
Published: (1991)
Financial Cryptography and Data Security : 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18-22, 2019, Revised Selected Papers /
Published: (2019)
Published: (2019)