The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/28935
Record Status Checked
Record Id 28935
Title Experiences of Using Formal Methods for Chemical Process Control Specification
Abstract We discuss the benefits of adding formal specification in B to existing controller synthesis techniques, and some of the limitations of B for this area of application. Examples from the case studies carried out in a project1 are given.
Organisation CCLRC , BITD
Funding Information
Related Research Object(s):
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In Proceedings of the 9th Symposium on Information Control in Manufacturing : advances in industrial engineering : a proceedings volume from the 9th IFAC Symposium, (INCOM'98), Nancy-Metz, France, , 24-26 June 1998, (1998). http://www.worldc…e-1998/oclc/40444106 1998