Marisol Garcia-Valls, Diego Perez-Palacin, Raffaela Mirandola. Time-Sensitive Adaptation in CPS through Run-Time Configuration Generation and Verification. In IEEE 38th Annual Computer Software and Applications Conference, COMPSAC 2014, Vasteras, Sweden, July 21-25, 2014. pages 332-337, IEEE, 2014. [doi]
@inproceedings{Garcia-VallsPM14,
title = {Time-Sensitive Adaptation in CPS through Run-Time Configuration Generation and Verification},
author = {Marisol Garcia-Valls and Diego Perez-Palacin and Raffaela Mirandola},
year = {2014},
doi = {10.1109/COMPSAC.2014.55},
url = {http://dx.doi.org/10.1109/COMPSAC.2014.55},
researchr = {https://researchr.org/publication/Garcia-VallsPM14},
cites = {0},
citedby = {0},
pages = {332-337},
booktitle = {IEEE 38th Annual Computer Software and Applications Conference, COMPSAC 2014, Vasteras, Sweden, July 21-25, 2014},
publisher = {IEEE},
}