| Tag |
First Indicator |
Second Indicator |
Subfields |
| LEADER |
00000cam a2200000Ma 4500 |
| 001 |
in00003545313 |
| 006 |
m o d |
| 007 |
cr nn||||||||| |
| 008 |
121227s1999 enk o 000 0 eng d |
| 005 |
20260421165757.2 |
| 020 |
|
|
|a 9781447108238 (electronic bk.)
|
| 020 |
|
|
|a 144710823X (electronic bk.)
|
| 035 |
|
|
|a (OCoLC)840277240
|
| 040 |
|
|
|a I9W
|b eng
|e pn
|c I9W
|d OCLCQ
|d UV0
|d OCLCO
|d GW5XE
|d UtOrBLW
|
| 049 |
|
|
|a TXAM
|
| 050 |
|
4 |
|a QA76.758
|
| 082 |
0 |
4 |
|a 005.1
|2 23
|
| 100 |
1 |
|
|a Redmill, Felix.
|
| 245 |
1 |
0 |
|a Towards System Safety :
|b Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK 1999 /
|c edited by Felix Redmill, Tom Anderson.
|
| 264 |
|
1 |
|a London :
|b Springer London,
|c 1999.
|
| 300 |
|
|
|a 1 online resource (IX, 257 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 505 |
0 |
|
|a Design for Safety -- Neil Storey -- Experiences with Safety Case Documentation According to the CENELEC Railway Safety Norms -- Xystein Skogstad -- Retrospective Collection of Safety Case Evidence -- Experiences from an Air Traffic Control System Safety Case -- Tim Boyce and Vivien Hamilton -- Assuring Safety through Measurement -- A Laudable Goal -- Paul Goodman -- Assessing Safety Critical COTS Systems -- Colin Oalloran -- Systems Approach to Safety-related Systems -- John Elliott -- The Safety Analysis Case in the Sco Paulo Metro -- Joco Camargo and Jorge de Almeida -- Safety Integrity Levels -- An Industrial View -- Vivien Hamilton and Ceri Rees -- Code Generation in the SACRES Project -- Thierry Gautier and Paul Le Guernic -- Formal Verification of an Avionics Application using Abstraction and Symbolic Model Checking -- Tom Bienmüller et al. -- Safety and the Millennium Bug -- Tony Foord and Harry Smith -- Integrated Modular Avionics -- A View of Safe Partitioning -- Mike Ainsworth and Alan Simpson -- Independent Verification -- Magic or Myth? -- Andrew Nolan -- Can Formal Argumentation Raise our Confidence in Safe Design? -- David Robertson -- Whom can you Trust? -- Assessing Professional Competence -- R. Malcolm, S. Clarke, S. Hatton and R. May.
|
| 520 |
|
|
|a Towards System Safety contains the invited papers presented at the seventh annual Safety-critical Systems Symposium, held in Huntingdon, February 1999. The papers bring together practitioners and researchers in a quest to inculate a higher degree of safety engineering into the development and operation of critical software-based systems. In particular, this volume explores recent work and experience which leads us further 'towards system safety'.
|
| 500 |
|
|
|a Electronic resource.
|
| 650 |
|
0 |
|a Computer science.
|
| 650 |
|
0 |
|a Computer system performance.
|
| 650 |
|
0 |
|a Software engineering.
|
| 655 |
|
7 |
|a Electronic books.
|2 local
|
| 700 |
1 |
|
|a Anderson, Tom.
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 856 |
4 |
0 |
|u http://proxy.library.tamu.edu/login?url=https://link.springer.com/10.1007/978-1-4471-0823-8
|z Connect to the full text of this electronic book
|t 0
|
| 994 |
|
|
|a 92
|b TXA
|
| 999 |
|
|
|a MARS
|
| 999 |
f |
f |
|s 59fa7885-7211-335b-8c71-095c27ee5341
|i 67e3f5da-7cb2-36ea-a7b8-15c92d13653b
|t 0
|
| 952 |
f |
f |
|a Texas A&M University
|b College Station
|c Electronic Resources
|s www_evans
|d Available Online
|t 0
|e QA76.758
|h Library of Congress classification
|
| 998 |
f |
f |
|a QA76.758
|t 0
|l Available Online
|