Pramila Mouttappa, Stephane Maag, Ana R. Cavalli. Monitoring Based on IOSTS for Testing Functional and Security Properties: Application to an Automotive Case Study. In 37th Annual IEEE Computer Software and Applications Conference, COMPSAC 2013, Kyoto, Japan, July 22-26, 2013. pages 1-10, IEEE Computer Society, 2013. [doi]
Abstract is missing.