Non-standard semantics of hybrid systems modelers (Q439952): Difference between revisions

@@ Property / DOI @@
-.1016/j.jcss.2011.08.009
@@ Property / DOI: 10.1016/j.jcss.2011.08.009 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Modelica
@@ Property / describes a project that uses: Modelica / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LUSTRE
@@ Property / describes a project that uses: LUSTRE / 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.jcss.2011.08.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2149466802
@@ Property / OpenAlex ID: W2149466802 / rank @@
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional and uniform modeling of hybrid systems
+Normal rank
@@ Property / cites work @@
+Compositionality in dataflow synchronous languages: Specification and distributed code generation
+Normal rank
@@ Property / cites work @@
+A type-based analysis of causality loops in hybrid systems modelers
+Normal rank
@@ Property / cites work @@
+Modelling of Complex Systems: Systems as Dataflow Machines
+Normal rank
@@ Property / cites work @@
+Q4445112
@@ Property / cites work: Q4445112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5713259
@@ Property / cites work: Q5713259 / rank @@
+Normal rank
@@ Property / cites work @@
+Languages and Tools for Hybrid Systems Design
@@ Property / cites work: Languages and Tools for Hybrid Systems Design / rank @@
+Normal rank
@@ Property / cites work @@
+Actors without Directors: A Kahnian View of Heterogeneous Systems
+Normal rank
@@ Property / cites work @@
+Q4222947
@@ Property / cites work: Q4222947 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3993282
@@ Property / cites work: Q3993282 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040436
@@ Property / cites work: Q4040436 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994508
@@ Property / cites work: Q3994508 / rank @@
+Normal rank
@@ Property / cites work @@
+SUNDIALS
@@ Property / cites work: SUNDIALS / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of solutions of ordinary differential equations with small parameters
+Normal rank
@@ Property / cites work @@
+Q4054644
@@ Property / cites work: Q4054644 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Q3807204
@@ Property / cites work: Q3807204 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858756
@@ Property / cites work: Q4858756 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4870980
@@ Property / cites work: Q4870980 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JCSS.2011.08.009
@@ Property / DOI: 10.1016/J.JCSS.2011.08.009 / rank @@
+Normal rank