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

From post-conditions to post-region invariants: deductive verification of hybrid objects.

Eduard Kamburjan
Published in: HSCC (2021)
Keyphrases
  • sufficient conditions
  • image regions
  • data objects
  • object level
  • object oriented
  • object recognition
  • d objects
  • face verification