default search action
BibTeX record conf/hipeac/CimattiDST18
@inproceedings{DBLP:conf/hipeac/CimattiDST18, author = {Alessandro Cimatti and Rance DeLong and Ivan Stojic and Stefano Tonetta}, editor = {Sergey Tverdyshev}, title = {Towards adaptive {MILS} System: Model- Based Design, Verification and Run-Time Adaptation: Slides}, booktitle = {International Workshop on {MILS:} Architecture and Assurance for Secure Systems, MILS@DSN 2018, Luxembourg, June 25, 2018}, publisher = {Zenodo}, year = {2018}, url = {https://doi.org/10.5281/zenodo.1306063}, doi = {10.5281/ZENODO.1306063}, timestamp = {Fri, 21 Sep 2018 12:06:38 +0200}, biburl = {https://dblp.org/rec/conf/hipeac/CimattiDST18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.