-
of simultaneously addressing lightweight structural design, mechanical performance, and manufacturability constraints related to residual stress formation. In particular, the work will explore methods
-
, whereas existing simplified methods do not provide sufficiently actionable scenarios for practical urban design applications. Research questions and objectives The PhD project will address the following
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions