© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A UML-based Approach to the Modelling and Supervisory Control of Manufacturing Machinery
B. Bordbar, L. Giacomini, and D. J. Holding
In IEE Control Seminars on Model Validation for Plant Control and Condition Monitoring, pages 182-196, London, March 2000.Bibtex Record
@inproceedings{1045,
author = {B. Bordbar and L. Giacomini and D. J. Holding},
title = {{A UML-based Approach to the Modelling and Supervisory Control of Manufacturing Machinery}},
month = {March},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1045},
address = {London},
booktitle = {IEE Control Seminars on Model Validation for Plant Control and Condition Monitoring},
publication_type = {inproceedings},
submission_id = {12358_958484331},
}