Cited By
View all- Reiche FWeber TBecker SWeber SHeinrich RBurger ECombemale BWimmer MChechik MEgyed A(2024)Consistency Management for Security Annotations for Continuous VerificationProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3652620.3687821(1096-1105)Online publication date: 22-Sep-2024