No Cover Image

Conference Paper/Proceeding/Abstract 518 views

Towards formal testing of jet engine Rolls-Royce BR725 / G Holland; T Kahsai; Markus Roggenbach; Schlingoff, B.H.

Swansea University Author: Markus, Roggenbach

Abstract

G Holland, T Kahsai, M Roggenbach, BH Schlingloff: Towards formal testing of jet engine Rolls-Royce BR725.Proceeding of CSP,Krakow, Poland, 2009.

Published: 2009
URI: https://cronfa.swan.ac.uk/Record/cronfa8083
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract: G Holland, T Kahsai, M Roggenbach, BH Schlingloff: Towards formal testing of jet engine Rolls-Royce BR725.Proceeding of CSP,Krakow, Poland, 2009.
Item Description: Proceeding of CSP, Krakow, Poland, 2009
College: College of Science