Time-Sensitive Adaptation in CPS through Run-Time Configuration Generation and Verification

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]

Authors

Marisol Garcia-Valls

This author has not been identified. Look up 'Marisol Garcia-Valls' in Google

Diego Perez-Palacin

This author has not been identified. Look up 'Diego Perez-Palacin' in Google

Raffaela Mirandola

This author has not been identified. Look up 'Raffaela Mirandola' in Google