Current Issues in Safety-Critical Systems : Proceedings of the Eleventh Safety-critical Systems Symposium, Bristol, UK, 4-6 February 2003 /
Current Issues in Safety-Critical Systems contains the invited papers presented at the eleventh annual Safety-critical Systems Symposium, held in February 2003. The safety-critical systems domain is rapidly expanding and its industrial problems are always candidates for academic research. It embrace...
| Main Author: | Redmill, Felix |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Other Authors: | Anderson, Tom |
| Format: | eBook |
| Language: | English |
| Published: |
London :
Springer London,
2003.
|
| 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)
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)
Technology and Assessment of Safety-Critical Systems : Proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8-10 February 1994 /
by: Redmill, Felix
Published: (1994)
by: Redmill, Felix
Published: (1994)
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)
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)
Safer Systems : Proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997 /
by: Redmill, Felix
Published: (1997)
by: Redmill, Felix
Published: (1997)
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)
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)
Achievement and Assurance of Safety : Proceedings of the Third Safety-critical Systems Symposium /
by: Redmill, Felix
Published: (1995)
by: Redmill, Felix
Published: (1995)
Critical Issues in User Interface Systems Engineering /
by: Benyon, David
Published: (1996)
by: Benyon, David
Published: (1996)
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)
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)
Electronic Systems Effectiveness and Life Cycle Costing /
by: Skwirzynski, J. K.
Published: (1983)
by: Skwirzynski, J. K.
Published: (1983)
Software projects : evolutionary vs. big-bang delivery /
by: Redmill, Felix
Published: (1997)
by: Redmill, Felix
Published: (1997)
Embedded Software Development for Safety-Critical Systems.
by: Hobbs, Chris
Published: (2017)
by: Hobbs, Chris
Published: (2017)
Safe Comp 97 : the 16th International Conference on Computer Safety, Reliability and Security /
by: Daniel, Peter
Published: (1997)
by: Daniel, Peter
Published: (1997)
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)
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)
Abstract State Machines : A Method for High-Level System Design and Analysis /
by: Börger, Egon
Published: (2003)
by: Börger, Egon
Published: (2003)
Current issues in safety-critical systems : proceedings of the eleventh Safety-Critical Systems Symposium, Bristol, UK, 4-6 February 2003 /
Published: (2003)
Published: (2003)
Projects in the Computing Curriculum : Proceedings of the Project 98 Workshop, Sheffield 1998 /
by: Holcombe, Mike
Published: (1998)
by: Holcombe, Mike
Published: (1998)
Safer C : developing software for in high-integrity and safety-critical systems /
by: Hatton, Les, 1948-
Published: (1995)
by: Hatton, Les, 1948-
Published: (1995)
Performance evaluation of computer and communication systems /
by: Le Boudec, Jean-Yves, 1958-
Published: (2011)
by: Le Boudec, Jean-Yves, 1958-
Published: (2011)
Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /
Published: (2019)
Published: (2019)
Software optimization for high-performance computing : [creating faster applications] /
by: Wadleigh, Kevin R.
Published: (2000)
by: Wadleigh, Kevin R.
Published: (2000)
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)
E-Management : the Impact of e-Business on Today's IT Manager /
by: Gouge, Ian
Published: (2003)
by: Gouge, Ian
Published: (2003)
Industrial perspectives of safety-critical systems : proceedings of the sixth Safety-Critical Systems Symposium, Birmingham, 1998 /
Published: (1998)
Published: (1998)
Lessons in system safety : proceedings of the eighth Safety-Critical Systems Symposium, Southampton, UK, 2000 /
Published: (2000)
Published: (2000)
Aspects of safety management : proceedings of the Ninth Safety-Critical Systems Symposium, Bristol, UK, 2001 /
Published: (2001)
Published: (2001)
Achieving safety and reliability with computer systems /
Published: (1987)
Published: (1987)
Issues in multi-agent systems : the AgentCities, ES experience /
Published: (2008)
Published: (2008)
Managing Software Quality : a Measurement Framework for Assesment and Prediction /
by: Nance, Richard E.
Published: (2002)
by: Nance, Richard E.
Published: (2002)
Computer safety, reliability, and security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : proceedings /
Published: (2003)
Published: (2003)
Temporal verification of reactive systems : safety /
by: Manna, Zohar
Published: (1995)
by: Manna, Zohar
Published: (1995)
Critical testing processes : plan, prepare, perform, perfect /
by: Black, Rex, 1964-
Published: (2004)
by: Black, Rex, 1964-
Published: (2004)
Proceedings of the Symposium on Managing the Development of Large Computer Program Systems /
Published: (1963)
Published: (1963)