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
BibTeX Close


Download as .bib