Constraint nets: a semantic model for hybrid dynamic systems (Q673883): Difference between revisions

@@ Property / describes a project that uses @@
+LUSTRE
@@ Property / describes a project that uses: LUSTRE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Lucid
@@ Property / describes a project that uses: Lucid / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+Current trends in concurrency. Overviews and tutorials
+Normal rank
@@ Property / cites work @@
+Hybrid dynamical systems theory and the Signal language
+Normal rank
@@ Property / cites work @@
+A denotational theory of synchronous reactive systems
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+General systems theory: mathematical foundations
@@ Property / cites work: General systems theory: mathematical foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5533191
@@ Property / cites work: Q5533191 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Theory of the Differential Analyzer
@@ Property / cites work: Mathematical Theory of the Differential Analyzer / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994458
@@ Property / cites work: Q3994458 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3678639
@@ Property / cites work: Q3678639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5667133
@@ Property / cites work: Q5667133 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:673883