Ling Yin, Frédéric Mallet, Jing Liu. Verification of MARTE/CCSL Time Requirements in Promela/SPIN. In Isabelle Perseil, Karin Breitman, Roy Sterritt, editors, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. pages 65-74, IEEE Computer Society, 2011. [doi]
@inproceedings{YinML11, title = {Verification of MARTE/CCSL Time Requirements in Promela/SPIN}, author = {Ling Yin and Frédéric Mallet and Jing Liu}, year = {2011}, doi = {10.1109/ICECCS.2011.14}, url = {http://dx.doi.org/10.1109/ICECCS.2011.14}, researchr = {https://researchr.org/publication/YinML11}, cites = {0}, citedby = {0}, pages = {65-74}, booktitle = {16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011}, editor = {Isabelle Perseil and Karin Breitman and Roy Sterritt}, publisher = {IEEE Computer Society}, }