Automating Pattern Selection for Assurance Case Development for Cyber-Physical Systems.

Shreyas Ramakrishna, Hyunjee Jin, Abhishek Dubey, Arun Ramamurthy

Browse the full SAFECOMP paper archive.