1 verification-computer-science PhD positions at University of Groningen; Published yesterday
Sort by
Refine Your Search
-
for considering components independently. Inspired by so-called contract theories from computer science, such modular control theory will be based on the introduction of assume-guarantee contracts for control
Searches related to verification computer science
Enter an email to receive alerts for verification-computer-science positions