• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

X-by-Construction Meets Runtime Verification.

Maurice H. ter BeekLoek CleophasMartin LeuckerIna 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