MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Peter Bishop" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 11 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • A Methodology for Safety Case Development  
  • by Peter Bishop Adelard, Peter Bishop, Robin Bloomfield — 1998 — Safety-Critical Systems Symposium
  • …1 Introduction A Methodology for Safety Case Development Peter Bishop Adelard, London, UK Robin…
  • Add To MetaCart
  • Estimating Residual Faults from Code Coverage  
  • by Peter Bishop Adelard, Peter G Bishop — 2002 — SAFECOMP
  • …Estimating Residual Faults from Code Coverage Peter G Bishop Adelard and Centre for Software…
  • Add To MetaCart
  • The future of goal-based assurance cases  
  • by Peter Bishop, Robin Bloomfield, Sofia Guerra — 2004 — In Proceedings of Workshop on Assurance Cases. Supplemental Volume of the 2004 International Conference on Dependable Systems and Networks
  • …The future of goal-based assurance cases Peter Bishop 1,2 , Robin Bloomfield 1,2 , Sofia Guerra 1…
  • Cited by 5 (1 self) – Add To MetaCart
  • Software Criticality Analysis of COTS/SOUP  
  • by Peter Bishop Robin, Peter Bishop, Robin Bloomfield, Tim Clement, Sofia Guerra — 2002 — in: the 21st International Conference on Computer Safety, Reliability and Security (2002
  • …Software Criticality Analysis of COTS/SOUP Peter Bishop 1,2 , Robin Bloomfield 1,2 , Tim Clement 1…
  • Add To MetaCart
  • Actor induction and meta-evaluation  
  • by Carl Hewitt, Peter Bishop, Irene Greif, Brian Smith, Todd Matson, Richard Steiger — 1973 — In ACM Symposium on Principles of Programming Languages
  • …Actor Induction and Meta-evaluation Carl Hewitt Peter Bishop Irene Greif Brian Smith Todd Matson…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB