%0 Conference Paper %1 conf/ntms/LevshunCKC19 %A Levshun, Dmitry %A Chechulin, Andrey %A Kotenko, Igor V. %A Chevalier, Yannick %B NTMS %D 2019 %I IEEE %K dblp %P 1-5 %T Design and Verification Methodology for Secure and Distributed Cyber-Physical Systems. %U http://dblp.uni-trier.de/db/conf/ntms/ntms2019.html#LevshunCKC19 %@ 978-1-7281-1542-9

@inproceedings{conf/ntms/LevshunCKC19, added-at = {2022-12-07T00:00:00.000+0100}, author = {Levshun, Dmitry and Chechulin, Andrey and Kotenko, Igor V. and Chevalier, Yannick}, biburl = {https://www.bibsonomy.org/bibtex/2068b81de837b73845497aab3fe925d88/dblp}, booktitle = {NTMS}, crossref = {conf/ntms/2019}, ee = {https://doi.org/10.1109/NTMS.2019.8763814}, interhash = {099e3c353d212dcf8b6b30ba9fd38600}, intrahash = {068b81de837b73845497aab3fe925d88}, isbn = {978-1-7281-1542-9}, keywords = {dblp}, pages = {1-5}, publisher = {IEEE}, timestamp = {2024-04-10T18:14:27.000+0200}, title = {Design and Verification Methodology for Secure and Distributed Cyber-Physical Systems.}, url = {http://dblp.uni-trier.de/db/conf/ntms/ntms2019.html#LevshunCKC19}, year = 2019 }