Automatic development of software codes von N.J. TUDOR

Volltext bestellen

Proof vs testing in the context of safety standards von Galloway, A., Paige, R.F., Tudor, N.J., Weaver, R.A., Toyn, I., McDermid, J.

Volltext

CLawZ: cost-effective formal verification for control systems von Adams, M.M., Clayton, P.B., Tudor, N.J.

Volltext

The effect of the type of illumination on the energy harvesting performance of solar cells von Li, Y., Grabham, N.J., Beeby, S.P., Tudor, M.J.

Volltext

Review of the application of energy harvesting in buildings von Matiko, J W, Grabham, N J, Beeby, S P, Tudor, M J

Volltext

Ultra Boost for Economy: Extending the Limits of Extreme Engine Downsizing von Turner, J.W.G., Popplewell, A., Patel, R., Johnson, T.R., Darnton, N.J., Richardson, S., Bredda, S.W., Tudor, R.J., Bithell, C.I., Jackson, R., Remmert, S.M., Cracknell, R.F., Fernandes, J.X., Lewis, A.G.J., Akehurst, S., Brace, C.J., Copeland, C., Martinez-Botas, R., Romagnoli, A., Burluka, A.A.

Volltext