Manoranjan Satpathy, Colin F. Snook, Silky Arora, S. Ramesh, Michael Butler. Systematic Development of Control Designs via Formal Refinement. In Slimane Hammoudi, Luís Ferreira Pires, Joaquim Filipe, Rui César das Neves, editors, MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19 - 21 February, 2013. pages 143-148, SciTePress, 2013. [doi]
@inproceedings{SatpathySARB13,
title = {Systematic Development of Control Designs via Formal Refinement},
author = {Manoranjan Satpathy and Colin F. Snook and Silky Arora and S. Ramesh and Michael Butler},
year = {2013},
doi = {10.5220/0004321001430148},
url = {http://dx.doi.org/10.5220/0004321001430148},
researchr = {https://researchr.org/publication/SatpathySARB13},
cites = {0},
citedby = {0},
pages = {143-148},
booktitle = {MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19 - 21 February, 2013},
editor = {Slimane Hammoudi and Luís Ferreira Pires and Joaquim Filipe and Rui César das Neves},
publisher = {SciTePress},
isbn = {978-989-8565-42-6},
}