| Subject | Property | Object/Value | Source |
|---|
| Tom Anderson |
akt:family-name |
Anderson |
newcastle-cs-staff.rdf >> |
| Tom Anderson |
akt:full-name |
Tom Anderson [Explore] |
newcastle-cs-staff.rdf >> |
| Tom Anderson |
akt:given-name |
Tom |
newcastle-cs-staff.rdf >> |
| Tom Anderson |
akt:has-affiliation-to-unit |
http://www.cs.ncl.ac.uk/ |
newcastle-cs-staff.rdf >> |
| Tom Anderson |
akt:has-affiliation |
http://www.ncl.ac.uk/ |
newcastle-cs-staff.rdf >> |
| Tom Anderson |
akt:has-appellation |
akt:Prof |
newcastle-cs-staff.rdf >> |
| Tom Anderson |
has email address |
tom.anderson@ncl.ac.uk [Email] |
newcastle-cs-staff.rdf >> |
| Tom Anderson |
akt:has-fax-number |
0191 222 7995 |
newcastle-cs-staff.rdf >> |
| Tom Anderson |
akt:has-job-title |
Professor, Director of CSR |
newcastle-cs-staff.rdf >> |
| Tom Anderson |
akt:has-postal-address |
Claremont Tower, School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU, United Kingdom |
newcastle-cs-staff.rdf >> |
| Tom Anderson |
akt:has-telephone-number |
0191 222 7994 |
newcastle-cs-staff.rdf >> |
| Tom Anderson |
has web address |
http://www.cs.ncl.ac.uk/people/home.php?id=10 [Visit] |
newcastle-cs-staff.rdf >> |
| Tom Anderson |
type |
akt:Affiliated-Person |
newcastle-cs-staff.rdf >> |
| Tom Anderson |
type |
akt:Employee |
newcastle-cs-staff.rdf >> |
| Tom Anderson |
type |
Generic Agent |
newcastle-article.rdf >> |
| Tom Anderson |
type |
Generic Agent |
newcastle-books.rdf >> |
| Tom Anderson |
type |
Generic Agent |
newcastle-proceedings.rdf >> |
| Tom Anderson |
type |
Generic Agent |
newcastle-tech-reports.rdf >> |
| Tom Anderson |
type |
Generic Agent |
newcastle-thesis.rdf >> |
| Tom Anderson |
type |
akt:Lecturer-In-Academia |
newcastle-cs-staff.rdf >> |
| Tom Anderson |
type |
akt:Person |
newcastle-cs-staff.rdf >> |
| |
| Subject | Property | Object | Source |
|---|
| Strategies to Meet the Challenge of Changing Requirements |
akt:edited-by |
Tom Anderson |
newcastle-proceedings.rdf >> |
| Managing and supporting the use of COTS |
akt:edited-by |
Tom Anderson |
newcastle-proceedings.rdf >> |
| Specification, verification and testing in software development |
akt:edited-by |
Tom Anderson |
newcastle-proceedings.rdf >> |
| Safe Systems: Construction, Destruction, and Deconstruction |
akt:edited-by |
Tom Anderson |
newcastle-proceedings.rdf >> |
| Automating functions in multi-agent control systems: supporting the decision process |
akt:edited-by |
Tom Anderson |
newcastle-proceedings.rdf >> |
| On the Safety Analysis of Requirements Specifications for Safety-Critical Software |
akt:has-author |
Tom Anderson |
newcastle-article.rdf >> |
| Formal Techniques for Requirements Analysis for Safe Reactor Control |
akt:has-author |
Tom Anderson |
newcastle-article.rdf >> |
| A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems |
akt:has-author |
Tom Anderson |
newcastle-article.rdf >> |
| Analyzing Safety Requirements for Process-Control Systems |
akt:has-author |
Tom Anderson |
newcastle-article.rdf >> |
| A Model of Recoverability in Multi-Level Systems |
akt:has-author |
Tom Anderson |
newcastle-article.rdf >> |
| Special Issue on Software Safety |
akt:has-author |
Tom Anderson |
newcastle-article.rdf >> |
| Principles of Fault Tolerance in Computing Systems |
akt:has-author |
Tom Anderson |
newcastle-article.rdf >> |
| Reliable software: a selective annotated bibliography |
akt:has-author |
Tom Anderson |
newcastle-article.rdf >> |
| Wrapping it up |
akt:has-author |
Tom Anderson |
newcastle-article.rdf >> |
| Efficient LR(1) Parsers |
akt:has-author |
Tom Anderson |
newcastle-article.rdf >> |
| Software Fault Tolerance: An Evaluation |
akt:has-author |
Tom Anderson |
newcastle-article.rdf >> |
| Fault Tolerance: Principles and Practice (Second Revised Edition) |
akt:has-author |
Tom Anderson |
newcastle-books.rdf >> |
| Dependability: Basic Concepts and Terminology |
akt:has-author |
Tom Anderson |
newcastle-books.rdf >> |
| Dependability of Resilient Computers |
akt:has-author |
Tom Anderson |
newcastle-books.rdf >> |
| Fault Tolerance: Principles and Practice |
akt:has-author |
Tom Anderson |
newcastle-books.rdf >> |
| Analysis of Safety Requirements for a Chemical Batch Processing System |
akt:has-author |
Tom Anderson |
newcastle-proceedings.rdf >> |
| Safety Analysis for Requirements Specifications: Methods and Techniques |
akt:has-author |
Tom Anderson |
newcastle-proceedings.rdf >> |
| A Formal Model for Safety-Critical Computing Systems |
akt:has-author |
Tom Anderson |
newcastle-proceedings.rdf >> |
| Practical Fault Tolerant Software for Asynchronous Systems |
akt:has-author |
Tom Anderson |
newcastle-proceedings.rdf >> |
| On Formal Support for Industrial-Scale Requirements Analysis |
akt:has-author |
Tom Anderson |
newcastle-proceedings.rdf >> |
| Fault Tolerance Terminology Proposals |
akt:has-author |
Tom Anderson |
newcastle-proceedings.rdf >> |
| The Provision of Recoverable Interfaces |
akt:has-author |
Tom Anderson |
newcastle-proceedings.rdf >> |
| Protective Wrapper Development: A Case Study |
akt:has-author |
Tom Anderson |
newcastle-proceedings.rdf >> |
| Safety - Status and Perspectives |
akt:has-author |
Tom Anderson |
newcastle-proceedings.rdf >> |
| Robust Requirements Specifications for Safety-Critical Systems |
akt:has-author |
Tom Anderson |
newcastle-proceedings.rdf >> |
| Wrapping the Future |
akt:has-author |
Tom Anderson |
newcastle-proceedings.rdf >> |
| Formal Techniques for Requirements Analysis for Safety-Critical Systems |
akt:has-author |
Tom Anderson |
newcastle-proceedings.rdf >> |
| Design Fault Tolerance in Practical Systems |
akt:has-author |
Tom Anderson |
newcastle-proceedings.rdf >> |
| The Role of Formal Methods in the Requirements Analysis of Safety-Critical Systems: a Train Set Example |
akt:has-author |
Tom Anderson |
newcastle-proceedings.rdf >> |
| Analysis of Timeliness Requirements in Safety-Critical Systems |
akt:has-author |
Tom Anderson |
newcastle-proceedings.rdf >> |
| Problems of Scale in Empirical Evaluation Projects |
akt:has-author |
Tom Anderson |
newcastle-proceedings.rdf >> |
| Software Fault Tolerance for Real-Time Avionics Systems |
akt:has-author |
Tom Anderson |
newcastle-proceedings.rdf >> |
| Fault Tolerant Control Software |
akt:has-author |
Tom Anderson |
newcastle-proceedings.rdf >> |
| A Structured Decision Mechanism for Diverse Software |
akt:has-author |
Tom Anderson |
newcastle-proceedings.rdf >> |
| Error Recovery for a Boiler System with OTS PID Controller |
akt:has-author |
Tom Anderson |
newcastle-proceedings.rdf >> |
| Reliable Research and Dependable Development |
akt:has-author |
Tom Anderson |
newcastle-proceedings.rdf >> |
| Reliable Software: A Selective Annotated Bibliography |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| A Model of Recoverability in Multi-level Systems |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| The Provisions of Recoverable Interfaces |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| Practical Software Fault Tolerance for Real-time Systems |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| Fault Tolerance Terminology Proposals |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| Practical Fault Tolerant Software for Systems |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| Can Design Faults be Tolerated? |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| Software Fault Tolerance: An Evaluation |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| Efficient LR(1) Parsers |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| Requirements Specification and Verification for Safety-critical Systems |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| Analysis of Timeliness Requirements in Safety-Critical Systems |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| Value Inconsistencies due to Time Uncertainties |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| An Approach to the Requirements Analysis of Safety-Critical Systems |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| An Approach to the Assessment of Requirements Specifications for Safety-Critical Systems |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| On Formal Support for Industrial Scale Requirements Analysis |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| The Role of Formal Methods in the Requirements Analysis of Safety Critical Systems: A Train Set Example |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| Formal Techniques for Requirements Analysis for Safe Reactor Control |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| Robust Requirements Specifications for Safety-Critical Systems |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| Formal Techniqes for Requirements Analysis for Safety-critical Systems |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| Requirements Analysis for Safety-critical Systems: A Chemical Batch Processing Example |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| Reliability Allocation for a System Using Markov Analysis |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| An Approach for the Risk Analysis of Safety Specifications |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| On the Safety Analysis of Requirements Specifications |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| Formal Techniques for Requirements Analysys for Safety-Critical Systems |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| Trade-Off Between Cost and Reliability During the Design Phase |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| Dynamic Selection of Software Components in the Face of Changing Requirements |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| Provably Safe Programs |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| Protective Wrapper Development: A Case Study |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| Error Recovery for a Boiler System with OTS PID Controller |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| Investigative Case Study: Protective Wrapping of OTS items in Simulated Environments |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| Wrapping the Future |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| Recovery Blocks in Actions: A System Supporting High Reliability |
akt:has-author |
Tom Anderson |
newcastle-tech-reports.rdf >> |
| Syntactic analysis of LR(k) languages. |
akt:has-author |
Tom Anderson |
newcastle-thesis.rdf >> |
| Resilient Computing Systems |
akt:has-edited-by |
Tom Anderson |
newcastle-books.rdf >> |
| Computing Systems Reliability |
akt:has-edited-by |
Tom Anderson |
newcastle-books.rdf >> |
| Resilient Computing Systems |
akt:has-edited-by |
Tom Anderson |
newcastle-books.rdf >> |
| Current Issues In Safety Critical Systems |
akt:has-edited-by |
Tom Anderson |
newcastle-books.rdf >> |
| Safe and Secure Computing Systems |
akt:has-edited-by |
Tom Anderson |
newcastle-books.rdf >> |
| Resilient Computing Systems |
akt:has-edited-by |
Tom Anderson |
newcastle-books.rdf >> |
| Computing Systems Reliability |
akt:has-edited-by |
Tom Anderson |
newcastle-books.rdf >> |
| Safety-Critical Systems: Current Issues, Techniques and Standards |
akt:has-edited-by |
Tom Anderson |
newcastle-books.rdf >> |
| Computing Systems Reliability |
akt:has-edited-by |
Tom Anderson |
newcastle-books.rdf >> |
| Software Requirements, Specification and Testing |
akt:has-edited-by |
Tom Anderson |
newcastle-books.rdf >> |
|
106 result(s) and 310 label(s) found in 12.7 seconds.