Sort by
Refine Your Search
-
Category
-
Field
-
, machine states) for care activities Implementation of authorization and verification mechanisms for safe action execution Prototypical implementation using the example "pushing hospital beds" and
-
world state (states of people, objects, and machines) for care activities Implementation of authorization and verification mechanisms for safe action execution Prototypical implementation using the
Searches related to software verification
Enter an email to receive alerts for software-verification positions