%0 Conference Paper %1 conf/cyphy/WestmanNT16 %A Westman, Jonas %A Nyberg, Mattias %A Thydén, Oscar %B CyPhy %D 2016 %E Berger, Christian %E Mousavi, Mohammad Reza %E Wisniewski, Rafael %I Springer %K dblp %P 116-125 %T CPS Specifier - A Specification Tool for Safety-Critical Cyber-Physical Systems. %U http://dblp.uni-trier.de/db/conf/cyphy/cyphy2016.html#WestmanNT16 %V 10107 %@ 978-3-319-51737-7

@inproceedings{conf/cyphy/WestmanNT16, added-at = {2017-05-19T00:00:00.000+0200}, author = {Westman, Jonas and Nyberg, Mattias and Thydén, Oscar}, biburl = {https://www.bibsonomy.org/bibtex/2105a49b611f1854a196ab63c4c5aecc7/dblp}, booktitle = {CyPhy}, crossref = {conf/cyphy/2016}, editor = {Berger, Christian and Mousavi, Mohammad Reza and Wisniewski, Rafael}, ee = {https://doi.org/10.1007/978-3-319-51738-4_9}, interhash = {71e02eb7657a01d43acb195e3a37b39f}, intrahash = {105a49b611f1854a196ab63c4c5aecc7}, isbn = {978-3-319-51737-7}, keywords = {dblp}, pages = {116-125}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T01:04:31.000+0200}, title = {CPS Specifier - A Specification Tool for Safety-Critical Cyber-Physical Systems.}, url = {http://dblp.uni-trier.de/db/conf/cyphy/cyphy2016.html#WestmanNT16}, volume = 10107, year = 2016 }