C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
X-by-Construction Meets Runtime Verification.
Maurice H. ter Beek
Loek Cleophas
Martin Leucker
Ina Schaefer
Published in:
ISoLA (1) (2022)
Keyphrases
</>
model checking
decision making
construction process
database
social networks
knowledge base
decision trees
video sequences
expert systems
special case
digital images