• Sorted by Date • Classified by Publication Type • Classified by Research Category •
Yuri Gil Dantas, Antoaneta Kondeva, and Vivek Nigam. Towards Automating Safety and Security Co-Analysis with Patterns (Position Paper). In Safecomp, 2020.
(unavailable)
@inproceedings{dantas20safecomp, author = {Yuri Gil Dantas and Antoaneta Kondeva and Vivek Nigam}, title = {Towards Automating Safety and Security Co-Analysis with Patterns (Position Paper)}, booktitle = {Safecomp}, year = {2020}, bib2html_pubtype = {Refereed Conference/Workshop}, bib2html_rescat = {Formal Methods}, bib2html_dl_pdf = "/docs/safecomp20.pdf" }
Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57