Synthesis of secure adaptors (Q764381): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlap.2011.08.001
+Normal rank
@@ Property / OpenAlex ID @@
+W1998187520
@@ Property / OpenAlex ID: W1998187520 / rank @@
+Normal rank
@@ Property / cites work @@
+Coordination Models and Languages
@@ Property / cites work: Coordination Models and Languages / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantics of software adaptation
@@ Property / cites work: On the semantics of software adaptation / rank @@
+Normal rank
@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+Contracts for security adaptation
@@ Property / cites work: Contracts for security adaptation / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of security protocols as open systems
@@ Property / cites work: Analysis of security protocols as open systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4408461
@@ Property / cites work: Q4408461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank