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]

Abstract

Abstract is missing.