Contributions to Conferences

back

Model-Based Specification and Refinement for Cyber-Physical Systems

Authors

Drechsler, R.
Autexier, S.
Lüth, C.

Meta information [BibTeX]

Year: 2017, Reviewed
Freitag, M. and Kotzab, H. and Pannek, J. (Editors)
In: Dynamics in Logistics
Conference: 5th International Conference LDIC in Bremen, Germany (February 22-25, 2016)
Publisher: Springer, Cham
Pages: 3-17

Drechsler, R.; Autexier, S.; Lüth, C.
Model-Based Specification and Refinement for Cyber-Physical Systems
In: Freitag, M.; Kotzab, H.; Pannek, J. (eds.): Dynamics in Logistics. Springer, Cham, 2017, pp. 3-17
(Workgroup: DFKI)

@inproceedings{Dre17,
author = {Drechsler, R. and Autexier, S. and L{\"u}th, C.},
title = {Model-Based Specification and Refinement for Cyber-Physical Systems},
booktitle = {Dynamics in Logistics},
year = {2017},
editor = {Freitag, M. and Kotzab, H. and Pannek, J.},
publisher = {Springer},
doi = {},
pages = {3-17}
}

Download as .bib

LogDynamics

Contributions to Conferences

Model-Based Specification and Refinement for Cyber-Physical Systems

Authors

Meta information [BibTeX]