No Cover Image

Conference Paper/Proceeding/Abstract 570 views

Towards formal testing of jet engine Rolls-Royce BR725 / Greg Holland; Temesghen Kahsai; Markus Roggenbach; Bernd-Holger Schlingloff

Pages: 217 - 229

Swansea University Author: Markus, Roggenbach

Published: Institute of Informatics, Warsaw University 2009
URI: https://cronfa.swan.ac.uk/Record/cronfa38
Tags: Add Tag
No Tags, Be the first to tag this record!
Item Description: In CS&P 2009, Proc. 18th Int. Conf on Concurrency, Specification and Programming, Krakow, Poland
College: College of Science
Start Page: 217
End Page: 229