Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci. Model-based synthesis of control software from system-level formal specifications. ACM Transactions on Software Engineering Methodology, 23(1):6, 2014. [doi]
@article{MariMST14,
title = {Model-based synthesis of control software from system-level formal specifications},
author = {Federico Mari and Igor Melatti and Ivano Salvo and Enrico Tronci},
year = {2014},
doi = {10.1145/2559934},
url = {http://doi.acm.org/10.1145/2559934},
researchr = {https://researchr.org/publication/MariMST14},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Software Engineering Methodology},
volume = {23},
number = {1},
pages = {6},
}