Home > Publications > Publikationen

Publikationen

Hüwe, Marcus;Pohlmann, Uwe:

Formal Definition and Proofs for the MechatronicUML Allocation Specification Language.

tr-ri-17-353, Zukunftsmeile 1, 33102 Paderborn, Germany, Apr 2017

files

HP17.pdf



Bibtex

@techreport{hniid=9534,
author = {H{\"u}we, Marcus and Pohlmann, Uwe},
title = {Formal Definition and Proofs for the MechatronicUML Allocation Specification Language},
number = {tr-ri-17-353},
institution = {Software Engineering Department, Fraunhofer IEM / Software Engineering Group, Heinz Nixdorf Institute},
address = {Zukunftsmeile 1, 33102 Paderborn, Germany},
month = apr,
year = {2017},
}

Copy bibTeX to clipboard

Permalink

https://www.hni.uni-paderborn.de/pub/9534