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

Min Zhang Fu Song Frédéric Mallet Xiaohong Chen

Published in: FASE (2019)

Keyphrases

specification language
programming language
fine grained
formal specification
software environment
database
description language