|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1958 occurrences of 945 keywords
|
|
|
Results
Found 3572 publication records. Showing 3572 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Ibrahim Habli, Tim Kelly |
A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings, pp. 142-160, 2010, Springer, 978-3-642-13555-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Xiaocheng Ge, Richard F. Paige, John A. McDermid |
An Iterative Approach for Development of Safety-Critical Software and Safety Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGILE ![In: 2010 Agile Conference, AGILE 2010, Orlando, Florida, USA, August 9-13, 2010, pp. 35-43, 2010, IEEE Computer Society, 978-0-7695-4125-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Ashraf Armoush, Eva Beckschulze, Stefan Kowalewski |
Safety Assessment of Design Patterns for Safety-Critical Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings, pp. 523-527, 2009, IEEE Computer Society, 978-0-7695-3784-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Kenneth H. W. Chan |
The application of formal methods in safety analysis for safety critical software systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
19 | Ben Swarup Medikonda, Seetha Ramaiah Panchumarthy |
Modeling Software Safety for Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering Research and Practice ![In: Proceedings of the 2008 International Conference on Software Engineering Research & Practice, SERP 2008, July 14-17, 2008, Las Vegas Nevada, USA, 2 Volumes, pp. 531-537, 2008, CSREA Press, 1-60132-088-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
19 | Ben Swarup Medikonda, Seetha Ramaiah Panchumarthy |
A Framework for Software Safety in Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoMeT ![In: New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Seventh SoMeT 2008, October 15-17, 2008, Sharjah, United Arab Emirates, pp. 361-374, 2008, IOS Press, 978-1-58603-916-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Felix Redmill, Tom Anderson 0001 (eds.) |
Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-1-84800-099-5 The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | T. P. Kelly |
Can Process-Based and Product-Based Approaches to Software Safety Certification be Reconciled? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 3-12, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Gabriele Schedl, Werner Winkelbauer |
Practical Ways of Improving Product Safety in Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 177-193, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Richard Sleeman, Andrew Cox, Jenny Colledge |
Systems Approach to Unmanned Air Vehicle Development and Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 209-221, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Derek Mannering, Jon G. Hall, Lucia Rapanotti |
Safety Process Improvement with POSE and Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 25-41, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Wojciech Basalaj |
How to Select a Programming Language Subset to Maximise Software Quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 43-56, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Stephen O. Clark, Steven T. Shorrock, Nic Turley |
Human Factors Safety Assurance for Changing ATM Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 155-173, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Mike Ainsworth |
Prototyping versus Formal Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 195-207, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Tim Smith |
Investigation to Establish Whether Cultural Analysis can be used to Improve the Interactions Between Design, Safety and Operations Departments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 95-116, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Christopher Lowe |
A Human Factors Perspective on Safety Management Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 139-153, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Michael Ellims |
Safety Analysis: Thoughts on Methods and Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 225-238, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Robin Cook |
Simplifying the Creation and Use of the Risk Matrix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 239-264, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Odd Nordland |
Making Safe Software Secure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 15-23, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Tadeusz Cichocki |
Safety Case Development How can I continue the work? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 59-76, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Don Goble |
Human Performance Improvement-Reducing Significant Events in Nuclear Power. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 117-135, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Jeff Lucas |
Safety Case Experiences from Harrier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 77-91, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Michaela Huhn, Hardi Hungar |
UML for Software Safety and Certification - Model-Based Development of Safety-Critical Software-Intensive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model-Based Engineering of Embedded Real-Time Systems ![In: Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers, pp. 201-237, 2007, Springer, 978-3-642-16276-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Gee-Yong Park, Jang-Soo Lee, Se Woo Cheon, Kee-Choon Kwon, Eunkyoung Jee, Kwang Yong Koh |
Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007., pp. 148-161, 2007, Springer, 978-3-540-75100-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Software Safety Analysis, Software FTA, Software HAZOP, Function Block Diagram, Nuclear Reactor Protection System |
19 | Felix Redmill, Tom Anderson 0001 (eds.) |
The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-1-84628-805-0 The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Brian Dobbing, Samantha Lautieri |
Dependability-by-Contract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 35-51, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Ibrahim Habli, Tim Kelly |
Achieving Integrated Process and Product Safety Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 55-68, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Jane Fenn, Richard Hawkins, Phil Williams, Tim Kelly |
Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 133-146, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | John Spriggs |
The Sum of its Parts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 147-159, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | John Ridgway |
Achieving Safety through Security Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 3-20, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Barry Kirwan, W. Huw Gibson |
CARA: A Human Reliability Assessment Tool for Air Traffic Safety Management - Technical Basis and Preliminary Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 197-214, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Liz Beswick, Jonathan Kettleborough |
A Proactive Approach to Enhancing Safety Culture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 105-115, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Marcelin Fortes da Cruz, Paul Raistrick |
AMBERS: Improving Requirements Specification Through Assertive Models and SCADE/DOORS Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 217-241, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Richard Maguire |
Comparing and Contrasting some of the Approaches in UK and USA Safety Assessment Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 117-129, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Chris W. Johnson 0001, C. Michael Holloway |
A Longitudinal Analysis of the Causal Factors in Major Maritime Accidents in the USA and Canada (1996-2006). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 85-104, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Peter H. Jesty, David D. Ward |
Towards a Unified Approach to Safety and Security in Automotive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 21-34, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Colin M. O'Halloran, Clive H. Pygott |
Formalising C and C++ for Use in High Integrity Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 243-260, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Rodney May |
Safety Assessments of Air Traffic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 179-195, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Alan Newton, Andrew Vickers |
The Benefits of Electronic Safety Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 69-82, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Paul Edwards, Andrew Furse, Andrew Vickers |
Independently Assessing Legacy Safety Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 163-178, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Kelvin Nilsen |
A type system to assure scope safety within safety-critical Java modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, JTRES '06, Paris, France, October 11-13, 2006, pp. 97-106, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Felix Redmill, Tom Anderson 0001 (eds.) |
Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-1-84628-333-8 The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Richard D. Hawkins |
Using safety contracts in the development of safety critical object-oriented systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
19 | Alastair Faulkner |
Safety arguments for use with data-driven safety systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 263-275, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Werner Winkelbauer, Gabriele Schedl, Andreas Gerstinger |
Safety Case Practice - Meet the Challenge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 83-104, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Carl Sandom, Derek Fowler |
People and Systems: Striking a Safe Balance between Human and Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 3-22, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Derek Fowler, Bernd Tiemeyer |
Safety Case Development - a Practical Guide. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 105-137, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Felix Redmill |
Understanding the Risks Posed by Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 155-169, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Derek Partridge, Trevor C. Bailey, Richard M. Everson, Jonathan E. Fieldsend, Adolfo Hernández, Wojtek J. Krzanowski, Vitaly Schetinin |
Classification with Confidence for Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 231-239, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Andrew Vickers |
Governing Safety Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 141-153, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Richard M. Everson, Jonathan E. Fieldsend, Trevor C. Bailey, Wojtek J. Krzanowski, Derek Partridge, Vitaly Schetinin, Adolfo Hernández |
Optimising Data-Driven Safety Related Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 217-230, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Dewi Daniels |
Safety Aspects of a Landing Gear System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 199-213, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Rob Weaver, Tim Kelly, Paul Mayo |
Gaining Confidence in Goal-based Safety Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 277-290, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Max P. Halbert, Steve Tucker |
Risk Assessment for M42 Active Traffic Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 25-45, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Mário Brito, John May, Julio Gallardo, Ed Fergus |
Use of Graphical Probabilistic Models to build SIL claims based on software safety standards such as IEC61508-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 241-259, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | José F. Ruiz |
Ada 2005 for High-Integrity Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 187-198, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Richard Maguire |
So how do you make a full ALARP justification? Introducing the Accident Tetrahedron as a guide for Approaching Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 69-80, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Anthony Cant (eds.) |
Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![Australian Computer Society The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
19 | Yangyang Yu, Barry W. Johnson |
The Quantitative Safety Assessment for Safety-Critical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 6-7 April 2005, Greenbelt, Maryland, USA, pp. 150-162, 2005, IEEE Computer Society, 0-7695-2306-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Felix Redmill, Tom Anderson 0001 (eds.) |
Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-1-85233-952-4 The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Gordon D. Baxter, Juliana Küster Filipe, Angela Miguel, Kenneth Tan |
The Effects of Timing and Collaboration on Dependability in the Neonatal Intensive Care Unit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005, pp. 195-210, 2005, Springer, 978-1-85233-952-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Peter K. D. Froome |
Independent Safety Assessment of Safety Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005, pp. 37-47, 2005, Springer, 978-1-85233-952-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Samantha Lautieri, David Cooper, David Jackson |
SafSec: Commonalities Between Safety and Security Assurance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005, pp. 65-75, 2005, Springer, 978-1-85233-952-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Graham Jolliffe, Mark Nicholson 0001 |
Exploring the Possibilities Towards a Preliminary Safety Case for IMA Blueprints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005, pp. 163-181, 2005, Springer, 978-1-85233-952-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Mark George |
Identification of Time At Risk Periods of Significance to ALARP Justifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005, pp. 111-127, 2005, Springer, 978-1-85233-952-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | David H. Smith |
The IEE/BCS Independent Safety Assurance Working Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005, pp. 3-19, 2005, Springer, 978-1-85233-952-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Jane Fenn, Brian Jepson |
Putting Trust into Safety Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005, pp. 21-35, 2005, Springer, 978-1-85233-952-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | James Blow, Andrew Cox, Paul Liddell |
Modular Certification of Integrated Modular Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005, pp. 183-192, 2005, Springer, 978-1-85233-952-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Michael J. Prince |
Developing and Using Risk Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005, pp. 129-145, 2005, Springer, 978-1-85233-952-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Mark Nicholson 0001 |
Health Monitoring for Reconfigurable Integrated Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005, pp. 149-162, 2005, Springer, 978-1-85233-952-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Ron Pierce, Herman Baret |
Structuring a Safety Case for an Air Traffic Control Operations Room. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005, pp. 51-64, 2005, Springer, 978-1-85233-952-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Kevin Payne |
Learning from a Train Derailment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005, pp. 79-92, 2005, Springer, 978-1-85233-952-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Knut Rygh |
Accident Investigations - Meeting the challenge of new technology - Established methods challenged by uncertain safety concepts and failure behaviour in new technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005, pp. 93-108, 2005, Springer, 978-1-85233-952-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Peter A. Lindsay, Anthony Cant (eds.) |
Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![Australian Computer Society The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
19 | Ed Williams |
Airborne Collision Avoidance System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004, pp. 97-110, 2004, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
19 | Christian Hamoy, David Hemer, Peter A. Lindsay |
HazLog: Tool Support for Hazard Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004, pp. 77-87, 2004, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
19 | Michael Ellims |
On Wheels, Nuts and Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004, pp. 67-76, 2004, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
19 | Paul Chinneck, David John Pumfrey, John A. McDermid |
The HEAT/ACT Preliminary Safety Case: A case study in the use of Goal Structuring Notation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004, pp. 33-41, 2004, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
19 | Yiannis Papadopoulos, David Parker 0002, Christian Grante |
A Method and Tool Support for Model-based Semi-automated Failure Modes and Effects Analysis of Engineering Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004, pp. 89-95, 2004, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
19 | Martyn Thomas |
Engineering Judgement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004, pp. 43-47, 2004, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
19 | Peter B. Ladkin |
Causal Analysis of the ACAS/TCAS Sociotechnical System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004, pp. 3-12, 2004, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
19 | Michael Jones-Lee, Graham Loomes |
Eliciting Measures of Value for Health and Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004, pp. 49-58, 2004, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
19 | Gordon R. Stone |
Complex Reactive Real Time Systems and the Safety Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004, pp. 23-32, 2004, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
19 | George Nikandros |
COTS - Size Does Matter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004, pp. 59-66, 2004, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
19 | Peter A. Lindsay (eds.) |
Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![Australian Computer Society, 0-909-92593-3 The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
19 | John Murdoch, Graham Clark, Antony Powell, Paul Caseley |
Measuring Safety: Applying PSM to the System Safety Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003, pp. 47-55, 2003, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
19 | Iain Bate, Richard Hawkins, John A. McDermid |
A Contract-based Approach to Designing Safe Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003, pp. 25-36, 2003, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
19 | Richard M. Robinson, Kevin J. Anderson |
SIL Rating Fire Protection Equipment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003, pp. 89-97, 2003, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
19 | Rob Weaver, Jane Fenn, Tim Kelly |
A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003, pp. 57-67, 2003, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
19 | Jason Smith 0001, Selwyn Russell, Mark Looi |
Security as a Safety Issue in Rail Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003, pp. 79-88, 2003, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
19 | Peter B. Ladkin, Jörn Stuphorn |
Two Causal Analyses of the Black Hawk Shootdown during Operation Provide Comfort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003, pp. 3-23, 2003, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
19 | Bernhard Kaiser, Peter Liggesmeyer, Oliver Mäckel |
A New Component Concept for Fault Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003, pp. 37-46, 2003, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
19 | Philippa Conmy, Mark Nicholson 0001, John A. McDermid |
Safety Assurance Contracts for Integrated Modular Avionics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003, pp. 69-78, 2003, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
19 | Felix Redmill, Tom Anderson 0001 (eds.) |
Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-1-85233-561-8 The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Alena Griffiths, Dennis Yim |
Systems Assurance for the Integrated Control and Communications System for KCRC East Rail Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002, pp. 21-29, 2002, Australian Computer Society, 0-909-92593-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
19 | Michael G. Hinchey |
Confessions of a Formal Methodist. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002, pp. 17-20, 2002, Australian Computer Society, 0-909-92593-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
19 | John Alexander McDermid |
Trends in Systems Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002, pp. 3-8, 2002, Australian Computer Society, 0-909-92593-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
19 | Clive Boughton |
Beginning to Define a Body of Knowledge for Safety Practitioners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002, pp. 31-40, 2002, Australian Computer Society, 0-909-92593-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
19 | Brenton Atchison, Alena Griffiths |
A Product-Based Assurance Model for Mixed-Integrity Markets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002, pp. 55-62, 2002, Australian Computer Society, 0-909-92593-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
19 | Michael J. Bauer |
: Functional Safety of a Theatre Stage Machinery Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002, pp. 49-53, 2002, Australian Computer Society, 0-909-92593-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
Displaying result #501 - #600 of 3572 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|