Towards formal testing of jet engine Rolls-Royce BR725 (2009)

First Author: G Holland
Attributed to:  Processes and Data funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://csp2009.mimuw.edu.pl/proc.php

Type: Conference/Paper/Proceeding/Abstract

Parent Publication: Proceeding of the 18th International Conference on Concurrency, Specification and Programming