Liqiong Chen, Guisheng Fan, Yunxiang Liu. An Approach to Formally Modeling and Verifying Distributed Real-time Embedded Software. JSW, 5(9):990-997, 2010. [doi]
@article{ChenFL10-2, title = {An Approach to Formally Modeling and Verifying Distributed Real-time Embedded Software}, author = {Liqiong Chen and Guisheng Fan and Yunxiang Liu}, year = {2010}, doi = {10.4304/jsw.5.9.990-997}, url = {http://dx.doi.org/10.4304/jsw.5.9.990-997}, tags = {embedded software, modeling, systematic-approach}, researchr = {https://researchr.org/publication/ChenFL10-2}, cites = {0}, citedby = {0}, journal = {JSW}, volume = {5}, number = {9}, pages = {990-997}, }