References
Abrial, J. R. 2009. “Faultless Systems: Yes We Can.” IEEE Computer 42 (9): 30–36. doi:10.1109/MC.2009.283.
. 2010. Modeling in Event-B: System and Software Engineering. Cambridge, UK: Cambridge University Press.
Avizienis, A., J. C. Laprie, B. Randell, and C. Landwehr. 2004. “Basic Concepts and Taxonomy of Dependable and Secure Computing.” IEEE Trans. on Dependable and Secure Computing 1 (1): 11–33. doi:10.1109/TDSC.2004.2.
Badeau, F., and A. Amelot. 2005. “Using B as a High Level Programming Language in an Industrial Project: Roissy VAL.” In Proc. ZB 2005: Formal Specification and Development in Z and B. Guildford, UK: Springer. doi:10.1007/11415787_20.
Ball, T., E. Bounimova, B. Cook, V. Levin, J. Lichtenberg, C. McGarvey, ...
Get Software Engineering, 10th Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
