Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System (Q3523098): Difference between revisions

@@ Property / author @@
-Alberto L. Sangiovanni-Vincentelli
@@ Property / author: Alberto L. Sangiovanni-Vincentelli / rank @@
-Normal rank
@@ Property / author @@
+Alberto L. Sangiovanni-Vincentelli
@@ Property / author: Alberto L. Sangiovanni-Vincentelli / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ariadne
@@ Property / describes a project that uses: Ariadne / 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.1007/978-3-540-78929-1_5
+Normal rank
@@ Property / OpenAlex ID @@
+W1941176105
@@ Property / OpenAlex ID: W1941176105 / rank @@
+Normal rank
@@ Property / cites work @@
+An Approach to Modelling and Verification of Component Based Systems
+Normal rank
@@ Property / cites work @@
+Composition for component-based modeling
@@ Property / cites work: Composition for component-based modeling / rank @@
+Normal rank
@@ Property / cites work @@
+Continuity and computability of reachable sets
@@ Property / cites work: Continuity and computability of reachable sets / rank @@
+Normal rank