From control law diagrams to Ada via \textsf{Circus} (Q640296): Difference between revisions

@@ Property / describes a project that uses @@
+Z
@@ Property / describes a project that uses: Z / 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/s00165-010-0170-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2080864228
@@ Property / OpenAlex ID: W2080864228 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343984
@@ Property / cites work: Q4343984 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472198
@@ Property / cites work: Q4472198 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417982
@@ Property / cites work: Q4417982 / rank @@
+Normal rank
@@ Property / cites work @@
+Stepwise Development of Simulink Models Using the Refinement Calculus Framework
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+A formal framework for modeling and validating simulink diagrams
+Normal rank
@@ Property / cites work @@
+A refinement strategy for Circus
@@ Property / cites work: A refinement strategy for Circus / rank @@
+Normal rank
@@ Property / cites work @@
+ZRC -- A refinement calculus for \(Z\)
@@ Property / cites work: ZRC -- A refinement calculus for \(Z\) / rank @@
+Normal rank
@@ Property / cites work @@
+Q4426369
@@ Property / cites work: Q4426369 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4509996
@@ Property / cites work: Q4509996 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4439559
@@ Property / cites work: Q4439559 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301161
@@ Property / cites work: Q4301161 / rank @@
+Normal rank
@@ Property / cites work @@
+ArcAngel: a tactic language for refinement
@@ Property / cites work: ArcAngel: a tactic language for refinement / 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 @@
+A process algebraic framework for specification and validation of real-time systems
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing - ICTAC 2004
@@ Property / cites work: Theoretical Aspects of Computing - ICTAC 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736610
@@ Property / cites work: Q4736610 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494259
@@ Property / cites work: Q4494259 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank