BibTeX
@inproceedings{yujiang2014tatfmvasomes,
author = "Yu Jiang and Huhua Zhang and Huafeng Zhang and Xinyan Zhao and Han Liu and Chengnian Sun and Xiaoyu Song and Ming Gu and Jiaguang Sun",
title = "Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems
",
year = "2014",
pages = "711-714",
booktitle = "Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering
"
}
Plain Text
Yu Jiang, Huhua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, and Jiaguang Sun, "Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems
," 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 711-714