Lichen Zhang, Jifeng He. A Formal Framework for Aspect-Oriented Specification of Cyber Physical Systems. In Geuk Lee, Daniel Howard, Dominik Slezak, editors, Convergence and Hybrid Information Technology - 5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011. Proceedings. Volume 206 of Communications in Computer and Information Science, pages 391-398, Springer, 2011. [doi]
@inproceedings{ZhangH11-12,
title = {A Formal Framework for Aspect-Oriented Specification of Cyber Physical Systems},
author = {Lichen Zhang and Jifeng He},
year = {2011},
doi = {10.1007/978-3-642-24106-2_50},
url = {http://dx.doi.org/10.1007/978-3-642-24106-2_50},
researchr = {https://researchr.org/publication/ZhangH11-12},
cites = {0},
citedby = {0},
pages = {391-398},
booktitle = {Convergence and Hybrid Information Technology - 5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011. Proceedings},
editor = {Geuk Lee and Daniel Howard and Dominik Slezak},
volume = {206},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-642-24105-5},
}