Matching in security-by-contract for mobile code (Q2390033): Difference between revisions

@@ Property / describes a project that uses @@
+jContractor
@@ Property / describes a project that uses: jContractor / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ConSpec
@@ Property / describes a project that uses: ConSpec / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlap.2009.02.013
+Normal rank
@@ Property / OpenAlex ID @@
+W2132477236
@@ Property / OpenAlex ID: W2132477236 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q47482649
@@ Property / Wikidata QID: Q47482649 / rank @@
+Normal rank
@@ Property / cites work @@
+jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation
+Normal rank
@@ Property / cites work @@
+ConSpec - A formal language for policy specification
+Normal rank
@@ Property / cites work @@
+Matching in security-by-contract for mobile code
@@ Property / cites work: Matching in security-by-contract for mobile code / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484483
@@ Property / cites work: Q4484483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535058
@@ Property / cites work: Q4535058 / rank @@
+Normal rank
@@ Property / cites work @@
+Fair simulation
@@ Property / cites work: Fair simulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4356435
@@ Property / cites work: Q4356435 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501540
@@ Property / cites work: Q4501540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4371400
@@ Property / cites work: Q4371400 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / DBLP publication ID @@
+journals/jlp/BielovaDMNS09
@@ Property / DBLP publication ID: journals/jlp/BielovaDMNS09 / rank @@
+Normal rank