Browsing Waterloo Research by Subject "metals"
Now showing items 1-2 of 2
-
DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy
(IEEE, 2017-09-04)We present DASH, a new language for describing formal behavioural models of requirements. DASH combines the ability to write abstract, declarative transitions (as in Z or Alloy) with a labelled control state hierarchy (as ... -
Metallic Multi-Material Adhesive Joint Testing and Modeling for Vehicle Lightweighting
(Elsevier, 2019-12)While adhesive bonding has been shown to be a beneficial technique to join multi-material automotive bodies-in-white, quantitatively assessing the effect of adherend response on the ultimate strength of adhesively bonded ...