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

SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language.

Min ZhangFu SongFrédéric MalletXiaohong Chen
Published in: FASE (2019)
Keyphrases
  • specification language
  • programming language
  • fine grained
  • formal specification
  • software environment
  • database
  • description language