A polynomial dynamic system approach to software design for attractivity requirement (Q881898): Difference between revisions

@@ Property / DOI @@
-.1016/j.ins.2007.01.025
@@ Property / DOI: 10.1016/j.ins.2007.01.025 / rank @@
-Normal rank
@@ Property / author @@
+Xiang-Yun Wang
@@ Property / author: Xiang-Yun Wang / rank @@
+Normal rank
@@ Property / author @@
+Wen-Hui Zhang
@@ Property / author: Wen-Hui Zhang / rank @@
+Normal rank
@@ Property / author @@
+Yong-Chao Li
@@ Property / author: Yong-Chao Li / 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.ins.2007.01.025
+Normal rank
@@ Property / OpenAlex ID @@
+W2059985600
@@ Property / OpenAlex ID: W2059985600 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039698
@@ Property / cites work: Q4039698 / rank @@
+Normal rank
@@ Property / cites work @@
+Adaptive business intelligence based on evolution strategies: Some application examples of self-adaptive software.
+Normal rank
@@ Property / cites work @@
+Formal verification of programs specified with signal: Application to a power transformer station controller
+Normal rank
@@ Property / cites work @@
+Stabilization of discrete-event processes
@@ Property / cites work: Stabilization of discrete-event processes / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal stopping of multi-project software testing in the context of software cybernetics
+Normal rank
@@ Property / cites work @@
+Control synthesis of Petri nets based on \(S\)-decreases
+Normal rank
@@ Property / cites work @@
+On observability of discrete-event systems
@@ Property / cites work: On observability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Decentralized supervisory control of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Q3703299
@@ Property / cites work: Q3703299 / rank @@
+Normal rank
@@ Property / cites work @@
+Predicates and predicate transformers for supervisory control of discrete event dynamical systems
+Normal rank
@@ Property / cites work @@
+Control of vector discrete-event systems. I. The base model
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Existence characterizations of temporal-safety supervisors
+Normal rank
@@ Property / cites work @@
+On the polynomial dynamic system approach to software development
+Normal rank
@@ Property / DOI @@
+.1016/J.INS.2007.01.025
@@ Property / DOI: 10.1016/J.INS.2007.01.025 / rank @@
+Normal rank