| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Anthony Cant (eds.) |
Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004  |
SCS  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ed Williams |
Airborne Collision Avoidance System. |
SCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Christian Hamoy, David Hemer, Peter A. Lindsay |
HazLog: Tool Support for Hazard Management. |
SCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Michael Ellims |
On Wheels, Nuts and Software. |
SCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Paul Chinneck, David John Pumfrey, John A. McDermid |
The HEAT/ACT Preliminary Safety Case: A case study in the use of Goal Structuring Notation. |
SCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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. |
SCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Martyn Thomas |
Engineering Judgement. |
SCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Peter B. Ladkin |
Causal Analysis of the ACAS/TCAS Sociotechnical System. |
SCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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 |
SCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Fan Ye 0005, Tim Kelly |
Contract-Based Justification for COTS Component within Safety Critical Applications. |
SCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Michael Jones-Lee, Graham Loomes |
Eliciting Measures of Value for Health and Safety. |
SCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Gordon R. Stone |
Complex Reactive Real Time Systems and the Safety Case. |
SCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | George Nikandros |
COTS - Size Does Matter. |
SCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | John Murdoch, Graham Clark, Antony Powell, Paul Caseley |
Measuring Safety: Applying PSM to the System Safety Domain. |
SCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Iain Bate, Richard Hawkins, John A. McDermid |
A Contract-based Approach to Designing Safe Systems. |
SCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Richard M. Robinson, Kevin J. Anderson |
SIL Rating Fire Protection Equipment. |
SCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Rob Weaver, Jane Fenn, Tim Kelly |
A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments. |
SCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jason Smith 0001, Selwyn Russell, Mark Looi |
Security as a Safety Issue in Rail Communications. |
SCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Peter B. Ladkin, Jörn Stuphorn |
Two Causal Analyses of the Black Hawk Shootdown during Operation Provide Comfort. |
SCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | 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 |
SCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Kaiser, Peter Liggesmeyer, Oliver Mäckel |
A New Component Concept for Fault Trees. |
SCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Philippa Conmy, Mark Nicholson 0001, John A. McDermid |
Safety Assurance Contracts for Integrated Modular Avionics. |
SCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Alena Griffiths, Dennis Yim |
Systems Assurance for the Integrated Control and Communications System for KCRC East Rail Extensions. |
SCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Michael G. Hinchey |
Confessions of a Formal Methodist. |
SCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | John Alexander McDermid |
Trends in Systems Safety. |
SCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Felix Redmill |
A Community Club on Safety-Critical Systems. |
SCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | John McMullan |
Negligence: Engineering Safety-Critical Systems. |
SCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Clive Boughton |
Beginning to Define a Body of Knowledge for Safety Practitioners. |
SCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Tony Cant |
Computer-Based Safety Critical Systems in Defence: Def (Aust) 5679. |
SCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Brenton Atchison, Alena Griffiths |
A Product-Based Assurance Model for Mixed-Integrity Markets. |
SCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Michael J. Bauer |
: Functional Safety of a Theatre Stage Machinery Control System. |
SCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Peter A. Lindsay (eds.) |
Safety Critical Systems and Software 2001, Sixth Australian Workshop on Safety-Related Programmable Systems, (SCS2001), St Lucia, Queensland, Australia, 6 July 2001 |
SCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | John Alexander McDermid |
Software Safety: Where's the Evidence? |
SCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Philippa Conmy, John A. McDermid |
High Level Failure Analysis for Integrated Modular Avionics. |
SCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Peter A. Lindsay |
Improved Acquisition Processes for Safety-Critical Systems in the Australian Department of Defence. |
SCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Simon Connelly, Jay Burmeister, Anthony MacDonald, Andrew Hussey |
Extending and Evaluating a Pattern Language for Safety-Critical User Interfaces. |
SCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | John Jamieson |
Regulation of Medical Devices involving Software in Australia - an Overview. |
SCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | David Barney, David Haley, George Nikandros |
Calculating Train Braking Distance. |
SCS |
2001 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license