Environmental Engineering Reference
In-Depth Information
Compilation of References
Kang C
,
, Golay M (1999). Bayesian belief network-based
advisory system for operational availability focused di-
agnosis of complex nuclear power systems.
Expert Systems
with Applications
,
17 (1), 21-32.
Anikanov, S., Bezsalyj, V., Belohin, O., et al. (2003).
Maintenance and safety assessment of nuclear power
plant safety parameters display systems of WWER-1000
reactor.
Nuclear and Radiation Safety, 1
.
Abrial, J.-R. (2010).
Modeling in event-B
. Cambridge,
UK: Cambridge University Press. doi:10.1017/
CBO9781139195881
Anikanov, S., et al (2003). Assurance and safety assessment
of safety parameters display systems on NPP units with
WWER-1000 reactors.
Nuclear and Radiation Safety,
(1).
Adamov, E. O. et al. (2005).
Nuclear engineering: Ency-
clopedia
. Moscow: Mashinostroenie.
ANSI/ISA-99.00.01-2007. (2007).
Security for industrial
automation and control systems: Terminology, concepts,
and models
. (IEEE 982.2, 1988)
Adziev, A. V. (1998). Myths about software safety: Les-
sons of famous disasters. Open systems, 1998, vol. 6.
Retrieved December 16, 2012, from http://www.osp.ru/
os/1998/06/179592/
ANSI/ISA-99.00.02-2007. (2007).
Establishing an indus-
trial automation and control systems security program
.
(IEEE 982.2, 1988)
Afanasyev, N., Belohin, O., Brenman, O., et al. (2002).
Maintenance and safety assessment of computer infor-
mation system of NPP unit with WWER-1000 reactor.
Nuclear and Radiation Safety, 4
.
ANSI/ISA-99.00.03-2007. (2007).
Operating an indus-
trial automation and control systems security program
.
(IEEE 982.2, 1988)
ANSI/ISA-99.00.04-2007. (2007).
Specific security re-
quirements for industrial automation and control systems
.
(IEEE 982.2, 1988)
Aizenberg, A., & Yastrebenetsky, M. (2002). Comparison
of safety management principles for control systems of
carrier rockets and nuclear power plants.
Space Science
and Technology
,
1
, 55-60.
ANSI/ISA-99.02.01-2009. (2009).
Security for industrial
automation and control systems: Establishing an indus-
trial automation and control systems security program
.
(IEEE 982.2, 1988)
Albert, R., Albert, I., & Nakarado, G. L. (2004). Structural
Vulnerability of North American Power Grid.
Physical
Review E: Statistical, Nonlinear, and Soft Matter Physics
,
69
, 23-27. doi:10.1103/PhysRevE.69.025103
ANSI/ISA-TR99.00.01-2007. (2007).
Security technolo-
gies for industrial automation and control systems
. (IEEE
982.2, 1988)
Albert, R., & Barabasi, A.-L. (2002). Statistical Mechanics
of Complex Networks.
Reviews of Modern Physics
,
74
,
23-26. doi:10.1103/RevModPhys.74.47
Avizienis, A., Laprie, J.-C., Randell, B., & Landwehr, C.
(2004). Basic Concepts and Taxonomy of Dependable and
Secure Computing.
IEEE Transactions on Dependable and
Secure Computing
,
1
, 11-33. doi:10.1109/TDSC.2004.2
Anderson, R. B. (1979).
Proving Programs Correct
. New
York: Wiley.
Search WWH ::
Custom Search