Monitoring Based on IOSTS for Testing Functional and Security Properties: Application to an Automotive Case Study.

Pramila Mouttappa, Stephane Maag, Ana R. Cavalli

Browse the full COMPSAC paper archive.