Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni. Hardware/software synthesis of formal specifications in codesign of embedded systems. ACM Trans. Design Autom. Electr. Syst., 5(3):399-432, 2000. [doi]
@article{CarchioloMM00,
title = {Hardware/software synthesis of formal specifications in codesign of embedded systems},
author = {Vincenza Carchiolo and Michele Malgeri and Giuseppe Mangioni},
year = {2000},
doi = {10.1145/348019.348093},
url = {http://doi.acm.org/10.1145/348019.348093},
tags = {embedded software},
researchr = {https://researchr.org/publication/CarchioloMM00},
cites = {0},
citedby = {0},
journal = {ACM Trans. Design Autom. Electr. Syst.},
volume = {5},
number = {3},
pages = {399-432},
}