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

Publication
22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE Tool)
Chengnian Sun
Chengnian Sun
Associate Professor of Computer Science

My research interests include software engineering and programming languages.