A Two-Way Path Between Formal and Informal Design of Embedded Systems (Q2971176): Difference between revisions

@@ Property / describes a project that uses @@
+Metropolis
@@ Property / describes a project that uses: Metropolis / 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 @@
+Circus
@@ Property / describes a project that uses: Circus / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2568324669
@@ Property / OpenAlex ID: W2568324669 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+Differential-algebraic Dynamic Logic for Differential-algebraic Programs
+Normal rank
@@ Property / cites work @@
+Formal Verification of Simulink/Stateflow Diagrams
+Normal rank
@@ Property / cites work @@
+A Two-Way Path Between Formal and Informal Design of Embedded Systems
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472182
@@ Property / cites work: Q4472182 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic translation of Simulink diagrams to input/output extended finite automata
+Normal rank
@@ Property / cites work @@
+A formal framework for modeling and validating simulink diagrams
+Normal rank
@@ Property / cites work @@
+Formal Modelling, Analysis and Verification of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+An Assume/Guarantee Based Compositional Calculus for Hybrid CSP
+Normal rank
@@ Property / cites work @@
+Q2767980
@@ Property / cites work: Q2767980 / rank @@
+Normal rank