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):
Licence Information:
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). https://doi.org/1…1474-6670(17)40544-1 1998