%0 Conference Paper %1 conf/fmics/MoradiASCST20 %A Moradi, Fereidoun %A Asadollah, Sara Abbaspour %A Sedaghatbaf, Ali %A Causevic, Aida %A Sirjani, Marjan %A Talcott, Carolyn L. %B FMICS %D 2020 %E ter Beek, Maurice H. %E Nickovic, Dejan %I Springer %K dblp %P 130-147 %T An Actor-Based Approach for Security Analysis of Cyber-Physical Systems. %U http://dblp.uni-trier.de/db/conf/fmics/fmics2020.html#MoradiASCST20 %V 12327 %@ 978-3-030-58298-2

@inproceedings{conf/fmics/MoradiASCST20, added-at = {2021-10-14T00:00:00.000+0200}, author = {Moradi, Fereidoun and Asadollah, Sara Abbaspour and Sedaghatbaf, Ali and Causevic, Aida and Sirjani, Marjan and Talcott, Carolyn L.}, biburl = {https://www.bibsonomy.org/bibtex/21645820ffc300a9731417107ceb519b2/dblp}, booktitle = {FMICS}, crossref = {conf/fmics/2020}, editor = {ter Beek, Maurice H. and Nickovic, Dejan}, ee = {https://doi.org/10.1007/978-3-030-58298-2_5}, interhash = {de9a027156753b5ddd2786e0bd0b6226}, intrahash = {1645820ffc300a9731417107ceb519b2}, isbn = {978-3-030-58298-2}, keywords = {dblp}, pages = {130-147}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T14:18:38.000+0200}, title = {An Actor-Based Approach for Security Analysis of Cyber-Physical Systems.}, url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2020.html#MoradiASCST20}, volume = 12327, year = 2020 }