Formal Definition and Proofs for the MechatronicUML Allocation Specification Language

M. Hüwe, U. Pohlmann, Formal Definition and Proofs for the MechatronicUML Allocation Specification Language, Zukunftsmeile 1, 33102 Paderborn, Germany, 2017.

Download
No fulltext has been uploaded.
Report | English
Author
;
Publishing Year
LibreCat-ID

Cite this

Hüwe M, Pohlmann U. Formal Definition and Proofs for the MechatronicUML Allocation Specification Language. Zukunftsmeile 1, 33102 Paderborn, Germany; 2017.
Hüwe, M., & Pohlmann, U. (2017). Formal Definition and Proofs for the MechatronicUML Allocation Specification Language. Zukunftsmeile 1, 33102 Paderborn, Germany.
@book{Hüwe_Pohlmann_2017, place={Zukunftsmeile 1, 33102 Paderborn, Germany}, title={Formal Definition and Proofs for the MechatronicUML Allocation Specification Language}, author={Hüwe, Marcus and Pohlmann, Uwe}, year={2017} }
Hüwe, Marcus, and Uwe Pohlmann. Formal Definition and Proofs for the MechatronicUML Allocation Specification Language. Zukunftsmeile 1, 33102 Paderborn, Germany, 2017.
M. Hüwe and U. Pohlmann, Formal Definition and Proofs for the MechatronicUML Allocation Specification Language. Zukunftsmeile 1, 33102 Paderborn, Germany, 2017.
Hüwe, Marcus, and Uwe Pohlmann. Formal Definition and Proofs for the MechatronicUML Allocation Specification Language. 2017.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar