Powered by
22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014),
November 16–21, 2014,
Hong Kong, China
Tool Demonstrations
Tue, Nov 18, 17:15 - 18:00, Auditorium
Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems
Yu Jiang , Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; University of California at Davis, USA)
proc time: 0.78