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
Hüwe, MarcusLibreCat;
Pohlmann, Uwe
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.
Google Scholar