The page you are requesting does not exist. You can start your search here!
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
-
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