TY  - JOUR
AU  - Mari, Federico
AU  - Melatti, Igor
AU  - Salvo, Ivano
AU  - Tronci, Enrico
PY  - 2014
DA  - 2014//
TI  - Model Based Synthesis of Control Software from System Level Formal Specifications
T2  - ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
JO  - ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
SP  - Article 6
VL  - 23
IS  - 1
PB  - ACM
SN  - 1049-331X
L1  - http://mclab.di.uniroma1.it/publications/papers/mari/2014/110_Mari_etal2014.pdf
UR  - http://dl.acm.org/citation.cfm?id=2559934&CFID=294047825&CFTOKEN=78075392
UR  - https://doi.org/10.1145/2559934
DO  - 10.1145/2559934
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=110), last updated on Fri, 04 Jul 2014 16:23:57 +0200
ID  - Mari_etal2014
ER  -