Sort by
Refine Your Search
-
Employer
-
Field
-
organisation The faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) uses mathematics, electronics and computer technology to contribute to the development of Information and
-
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
-
to the development of a control theory that is inherently modular, i.e., that allows for considering components independently. Inspired by so-called contract theories from computer science, such modular control theory
Searches related to verification computer science
Enter an email to receive alerts for verification-computer-science positions