%0 Conference Paper %1 conf/cmis/KorotunovTHW19 %A Korotunov, Sergiy %A Tabunshchyk, Galyna %A Henke, Karsten %A Wuttke, Heinz-Dietrich %B CMIS %D 2019 %E Luengo, David %E Subbotin, Sergey %E Arras, Peter %E Bodyanskiy, Yevgeniy V. %E Henke, Karsten %E Izonin, Ivan %E Levashenko, Vitaly G. %E Lytvynenko, Volodymyr %E Parkhomenko, Anzhelika %E Pester, Andreas %E Shakhovska, Natalya %E Sharpanskykh, Alexei %E Tabunshchyk, Galyna %E Wolff, Carsten %E Wuttke, Heinz-Dietrich %E Zaitseva, Elena %I CEUR-WS.org %K dblp %P 950-961 %T Analysis of the Verification Approaches for the Cyber-Physical Systems. %U http://dblp.uni-trier.de/db/conf/cmis/cmis2019.html#KorotunovTHW19 %V 2353

@inproceedings{conf/cmis/KorotunovTHW19, added-at = {2023-03-10T00:00:00.000+0100}, author = {Korotunov, Sergiy and Tabunshchyk, Galyna and Henke, Karsten and Wuttke, Heinz-Dietrich}, biburl = {https://www.bibsonomy.org/bibtex/2bd9f9992f0fe1d51d0dc0bd3b68428e9/dblp}, booktitle = {CMIS}, crossref = {conf/cmis/2019}, editor = {Luengo, David and Subbotin, Sergey and Arras, Peter and Bodyanskiy, Yevgeniy V. and Henke, Karsten and Izonin, Ivan and Levashenko, Vitaly G. and Lytvynenko, Volodymyr and Parkhomenko, Anzhelika and Pester, Andreas and Shakhovska, Natalya and Sharpanskykh, Alexei and Tabunshchyk, Galyna and Wolff, Carsten and Wuttke, Heinz-Dietrich and Zaitseva, Elena}, ee = {https://ceur-ws.org/Vol-2353/paper75.pdf}, interhash = {269b87f7b0f7b369b87422edc847c254}, intrahash = {bd9f9992f0fe1d51d0dc0bd3b68428e9}, keywords = {dblp}, pages = {950-961}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T09:32:52.000+0200}, title = {Analysis of the Verification Approaches for the Cyber-Physical Systems.}, url = {http://dblp.uni-trier.de/db/conf/cmis/cmis2019.html#KorotunovTHW19}, volume = 2353, year = 2019 }