%0 Conference Paper %1 conf/isola/WangLZQPHG10 %A Wang, Zheng %A Li, Jianwen %A Zhao, Yongxin %A Qi, Yanxia %A Pu, Geguang %A He, Jifeng %A Gu, Bin %B ISoLA (1) %D 2010 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 594-608 %T SPARDL: A Requirement Modeling Language for Periodic Control System. %U http://dblp.uni-trier.de/db/conf/isola/isola2010-1.html#WangLZQPHG10 %V 6415 %@ 978-3-642-16557-3

@inproceedings{conf/isola/WangLZQPHG10, added-at = {2022-11-15T00:00:00.000+0100}, author = {Wang, Zheng and Li, Jianwen and Zhao, Yongxin and Qi, Yanxia and Pu, Geguang and He, Jifeng and Gu, Bin}, biburl = {https://www.bibsonomy.org/bibtex/2ed44d6ebc9caf3afad3213d44a93aff0/dblp}, booktitle = {ISoLA (1)}, crossref = {conf/isola/2010-1}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-642-16558-0_48}, interhash = {d1feda14989ac0daea71063f9f22ebd3}, intrahash = {ed44d6ebc9caf3afad3213d44a93aff0}, isbn = {978-3-642-16557-3}, keywords = {dblp}, pages = {594-608}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T08:21:06.000+0200}, title = {SPARDL: A Requirement Modeling Language for Periodic Control System.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2010-1.html#WangLZQPHG10}, volume = 6415, year = 2010 }