Baidu
map

Aclock-based dynamic logic for schedulability analysis of CCSL specifications

Zhang, YR; Mallet, F; Zhu, HB; Chen, YX; Liu, B; Liu, ZM

Liu, ZM (corresponding author), Southwest Univ, Coll Comp & Informat Sci, RISE, Chongqing, Peoples R China.

SCIENCE OF COMPUTER PROGRAMMING, 2021; 202 ():

Abstract

The Clock Constraint Specification Language (CCSL) is a clock-based formalism for the specification and analysis of real-time embedded systems. The ma......

Full Text Link


Baidu
map
Baidu
map
Baidu
map