期刊


ISSN0925-7535
刊名Safety science
参考译名安全科学
收藏年代1999~2024



全部

1999 2000 2001 2002 2003 2004
2005 2006 2007 2008 2009 2010
2011 2012 2013 2014 2015 2016
2017 2018 2019 2020 2021 2022
2023 2024

2002, vol.40, no.1-4 2002, vol.40, no.5 2002, vol.40, no.6 2002, vol.40, no.7-8 2002, vol.40, no.9

题名作者出版年年卷期
Assessing the practical benefits of formal methods for software developmentG. Droschl; W. Kuhn; G. Sonneck; M. Thuswald20022002, vol.40, no.9
A framework for dependability engineering of critical computing systemsMohamed Kaaniche; Jean-Claude Laprie; Jean-Paul Blanquart20022002, vol.40, no.9
Design for safety in safecharts with risk ordering of statesNimal Nissanke; Hamdan Dammag20022002, vol.40, no.9
Software tools to support incident reporting in safety-critical systemsChris Johnson20022002, vol.40, no.9
Assessing the reliability of diverse fault-tolerant software-based systemsBev Littlewood; Peter Popov; Lorenzo Strigini20022002, vol.40, no.9
Assessment of programmable systems using Bayesian belief netsBjorn Axel Gran20022002, vol.40, no.9
The dynamic flowgraph methodology as a safety analysis tool: programmable electronic system design and verificationMichel Houtermans; George Apostolakis; Aarnout Brombacher; Dimitrios Karydas20022002, vol.40, no.9
Forensic software engineering: are software failures symptomatic of systemic problems?Chris Johnson20022002, vol.40, no.9