Towards formal testing of jet engine Rolls-Royce BR725 (2009)
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