Export 4 results:
Search results for biblio_year:1981
Filters: 1 is biblio_year:2008 and 2 is field_publication_state:17 and 3 is biblio_year:2003 and 4 is biblio_year:2007 and 5 is field_research_area:6 and 6 is biblio_type:Talks, contributed and 7 is biblio_type:Journal Article and 8 is field_publication_owner:not_simula and Author is Neil Walkinshaw [Reset Search]
Filters: 1 is biblio_year:2008 and 2 is field_publication_state:17 and 3 is biblio_year:2003 and 4 is biblio_year:2007 and 5 is field_research_area:6 and 6 is biblio_type:Talks, contributed and 7 is biblio_type:Journal Article and 8 is field_publication_owner:not_simula and Author is Neil Walkinshaw [Reset Search]
An Evidential Reasoning Approach for Assessing Confidence in Safety Evidence. Simula Research Laboratory, 2014.
evicatechreport.pdf (3.58 MB)
evicatechreport.pdf (3.58 MB) Quantifying Uncertainty in Safety Cases Using Evidential Reasoning In SASSUR 2014, Computer Safety, Reliability, and Security, Edited by A. Bondavalli, A. Ceccarelli and F. Ortmeier. Vol. 8696. unknown: Springer International Publishing, 2014. sassur2014.pdf (297.59 KB)
sassur2014.pdf (297.59 KB) "Automated Discovery of State Transitions and Their Functions in Source Code." Software Testing, Verification and Reliability 18 (2007): 99-121.
A Comparative Study of Methods for Dynamic Reverse-Engineering of State Models. Deptartment of Computer Science, The University of Sheffield, 2007.