Sort by
Refine Your Search
-
component-level specifications to system-level specifications. This PhD position will focus on the use of contracts for verification, i.e., aimed at guaranteeing system-level properties on the basis
-
for verification, i.e., aimed at guaranteeing system-level properties on the basis of component properties. The position is part of the recent large project “Contracts for Control System Design”, funded by
-
position will focus on the use of contracts for verification, i.e., aimed at guaranteeing system-level properties on the basis of component properties. The position is part of the recent large project
Searches related to verification
Enter an email to receive alerts for verification positions