Stefano Spellini, Roberta Chirico, Marco Panato, Michele Lora, Franco Fummi. Virtual Prototyping a Production Line Using Assume-Guarantee Contracts. IEEE Trans. Industrial Informatics, 17(9):6294-6302, 2021. [doi]
@article{SpelliniCPLF21,
title = {Virtual Prototyping a Production Line Using Assume-Guarantee Contracts},
author = {Stefano Spellini and Roberta Chirico and Marco Panato and Michele Lora and Franco Fummi},
year = {2021},
doi = {10.1109/TII.2020.3038679},
url = {https://doi.org/10.1109/TII.2020.3038679},
researchr = {https://researchr.org/publication/SpelliniCPLF21},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Industrial Informatics},
volume = {17},
number = {9},
pages = {6294-6302},
}