SPARTA Publications
All accepted publications from SPARTA partners under its funding.
Towards Automating Safety and Security Co-Analysis with Patterns
Yuri Dantas, Antoaneta Kondeva, Vivek Nigam
Abstract
This article presents the first results towards au-tomating safety and security co-analysis with patterns.