Sort by
Refine Your Search
-
systems. These contracts have two desired features: they should i) be capable of expressing rich specifications; and ii) come equipped with a theory of compositional analysis that allows for translating
-
equipped with a theory of compositional analysis that allows for translating component-level specifications to system-level specifications. This PhD position will focus on the use of contracts
-
capable of expressing rich specifications; and ii) come equipped with a theory of compositional analysis that allows for translating component-level specifications to system-level specifications. This PhD
Searches related to postdoc composite
Enter an email to receive alerts for postdoc-composite positions