No Cover Image

Conference Paper/Proceeding/Abstract 1048 views

Towards formal testing of jet engine Rolls-Royce BR725

Greg Holland, Temesghen Kahsai, Markus Roggenbach Orcid Logo, Bernd-Holger Schlingloff

Pages: 217 - 229

Swansea University Author: Markus Roggenbach Orcid Logo

Published: Institute of Informatics, Warsaw University 2009
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: Faculty of Science and Engineering
Start Page: 217
End Page: 229