Deriving non-zeno behaviour models from goal models using ILP (Q973050): Difference between revisions

@@ Property / cites work @@
+Deriving non-zeno behaviour models from goal models using ILP
+Normal rank
@@ Property / cites work @@
+Goal-directed requirements acquisition
@@ Property / cites work: Goal-directed requirements acquisition / rank @@
+Normal rank
@@ Property / cites work @@
+A software architecture for distributed computer control systems
+Normal rank
@@ Property / cites work @@
+Q4240122
@@ Property / cites work: Q4240122 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4707774
@@ Property / cites work: Q4707774 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic abductive inductive learning
@@ Property / cites work: Nonmonotonic abductive inductive learning / rank @@
+Normal rank
@@ Property / cites work @@
+A Hybrid Abductive Inductive Proof Procedure
@@ Property / cites work: A Hybrid Abductive Inductive Proof Procedure / rank @@
+Normal rank