TU Ilmenau (Homelink)

Bibtex

@inproceedings{ korotu19,
  title = {Analysis of the Verification Approaches for the Cyber-Physical Systems},
  booktitle = {Proceedings of the Second International Workshop on Computer Modeling and Intelligent Systems (CMIS-2019)},
  address = {Zaporizhzhia, Ukraine, pp. 1-12},
  author = {Korotunov, Sergiy and Tabunshchyk, Galina and Henke, Karsten and Wuttke, Heinz- Dietrich},
  year = 2019,
  month = 04
}