Towards formal testing of jet engine Rolls-Royce BR725

Conference Paper/Proceeding/Abstract 1180 views

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:	Faculty of Science and Engineering
Start Page:	217
End Page:	229