Modeling Timing Requirements in Problem Frames Using CCSL.
https://doi.org/10.1109/APSEC.2011.30
@inproceedings{DBLP:conf/apsec/ChenLMJ11,
author = {Xiaohong Chen and
Jing Liu and
Fr{\'{e}}d{\'{e}}ric Mallet and
Zhi Jin},
editor = {Tran Dan Thu and
Karl R. P. H. Leung},
title = {Modeling Timing Requirements in Problem Frames Using {CCSL}},
booktitle = {18th Asia Pacific Software Engineering Conference, {APSEC} 2011, Ho
Chi Minh, Vietnam, December 5-8, 2011},
pages = {381--388},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/APSEC.2011.30},
doi = {10.1109/APSEC.2011.30},
timestamp = {Tue, 03 Dec 2019 17:05:45 +0100},
biburl = {https://dblp.org/rec/conf/apsec/ChenLMJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签