Collaborated with:M.Z.0002 F.Song F.Mallet
Talks about:constraint (1) schedul (1) languag (1) analysi (1) specif (1) clock (1) bound (1) base (1) smt (1)
Person: Xiaohong Chen 0007
DBLP: 0007:Xiaohong_Chen
Contributed to:
2019Wrote 1 papers:
- FASE-2019-ZhangSMC #analysis #bound #constraints #scheduling #smt #specification
- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language (MZ0, FS, FM, XC0), pp. 61–78.