Sign in

A formally verified transformation to unify multiple nested clocks for a Lustre-like language.

Gang ShiYucheng ZhangShu ShangShengyuan WangYuan DongPen-Chung Yew
Published in: Sci. China Inf. Sci. (2019)
Keyphrases
  • compositional semantics
  • learning environment
  • evolutionary algorithm
  • programming language
  • combining multiple
  • data sets
  • real world
  • bayesian networks
  • multiscale
  • xml documents
  • general purpose