Author:
Bishop Peter,Povyakalo Andrey
Publisher
Springer International Publishing
Reference12 articles.
1. Bishop, P., Povyakalo, A.: A conservative confidence bound for the probability of failure on demand of a software-based system based on failure-free tests of its components. Reliab. Eng. Syst. Saf. 203, 107060 (2020)
2. Dantzig, G.B., Thapa, M.N.: Linear Programming 1: Introduction. Springer, Heidelberg (2006). https://doi.org/10.1007/b97672
3. Dommel, H.W., Tinney, W.F.: Optimal power flow solutions. IEEE Trans. Power Appar. Syst. 10, 1866–1876 (1968)
4. Ehrenberger, W.: Statistical testing of real time software. In: Quirk, W.J. (ed.) Verification and Validation of Real-Time Software, pp. 147–178. Springer, Heidelberg (1985). https://doi.org/10.1007/978-3-642-70224-2_5
5. Hunns, D., Wainwright, N.: Software-based protection for Sizewell B: the regulator’s perspective. In: 1992 International Conference on Electrical and Control Aspects of the Sizewell B PWR, pp. 198–203. IET (1992)