ARTICLE
|
doi:10.20944/preprints201807.0083.v1
Subject:
Chemistry And Materials Science,
Metals, Alloys And Metallurgy
Keywords:
oxide metallurgy; impact toughness; metallographic structure; inclusion; ductile-brittle transition temperature
Online: 5 July 2018 (07:47:04 CEST)
ARTICLE
|
doi:10.20944/preprints202410.1921.v1
Subject:
Computer Science And Mathematics,
Computational Mathematics
Keywords:
Quality function; Quality predicate; QFCTL; QFCTL*; Model checking
Online: 24 October 2024 (12:36:37 CEST)