Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems

Yu Jiang, Huhua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, Jiaguang Sun
November, 2014
PDF Cite DOI
Type
Conference paper
Publication
22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE Tool)
Chengnian Sun
Chengnian Sun
Assistant Professor of Computer Science

My research interests include software engineering and programming languages.