SURF 2023: Formal compositional design of electro-mechanical systems: Revision history

From Murray Wiki
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

21 December 2022

19 December 2022

  • curprev 19:1819:18, 19 December 2022‎ Inigo talk contribs‎ 2,870 bytes +122‎ No edit summary
  • curprev 19:1019:10, 19 December 2022‎ Inigo talk contribs‎ 2,748 bytes +2,748‎ Created page with "Practitioners often rank the handling of specifications as one of the top challenges of systems engineering. Requirements expressed in natural languages can be conflicting, incomplete, unrealizable, etc. One way to alleviate this problem and the miscommunications it can produce in the supply chain is by making specifications formal (i.e., having well-defined mathematical meaning) and providing means for handling these specifications algebraically and computationally. Co..."
Retrieved from "https://murray.cds.caltech.edu/SURF_2023:_Formal_compositional_design_of_electro-mechanical_systems"