Behavioural Models for FMI Co-simulations (Q3179405): Difference between revisions

@@ Property / cites work @@
+Q3569584
@@ Property / cites work: Q3569584 / rank @@
+Normal rank
@@ Property / cites work @@
+Requirements for hybrid cosimulation standards
@@ Property / cites work: Requirements for hybrid cosimulation standards / rank @@
+Normal rank
@@ Property / cites work @@
+From control law diagrams to Ada via \textsf{Circus}
+Normal rank
@@ Property / cites work @@
+A refinement strategy for Circus
@@ Property / cites work: A refinement strategy for Circus / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a UTP Semantics for Modelica
@@ Property / cites work: Towards a UTP Semantics for Modelica / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/UTP: A Mechanised Theory Engineering Framework
+Normal rank
@@ Property / cites work @@
+FDR3 — A Modern Refinement Checker for CSP
@@ Property / cites work: FDR3 — A Modern Refinement Checker for CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Two Methods of Simulator Coupling
@@ Property / cites work: Two Methods of Simulator Coupling / rank @@
+Normal rank
@@ Property / cites work @@
+A UTP semantics for \textsf{Circus}
@@ Property / cites work: A UTP semantics for \textsf{Circus} / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding concurrent systems
@@ Property / cites work: Understanding concurrent systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank