C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
AutoReq: Expressing and verifying requirements for control systems.
Alexandr Naumchev
Bertrand Meyer
Manuel Mazzara
Florian Galinier
Jean-Michel Bruel
Sophie Ebersold
Published in:
J. Comput. Lang. (2019)
Keyphrases
</>
control system
knowledge representation
user requirements
functional requirements
computer vision
fuzzy logic
real environment
database
requirements engineering
design principles
vision system
general purpose
expert systems
multi agent systems
search algorithm
multimedia
artificial intelligence
databases
real time