%0 Journal Article %1 journals/jsw/YuanWCA14 %A Yuan, Lei %A Wang, Lijuan %A Chen, Dewang %A Albrecht, Amie R. %D 2014 %J J. Softw. %K dblp %N 10 %P 2693-2698 %T Modeling and Verification for Track Circuit Encoding in Train Control Center Based on UML and TA. %U http://dblp.uni-trier.de/db/journals/jsw/jsw9.html#YuanWCA14 %V 9

@article{journals/jsw/YuanWCA14, added-at = {2020-09-15T00:00:00.000+0200}, author = {Yuan, Lei and Wang, Lijuan and Chen, Dewang and Albrecht, Amie R.}, biburl = {https://www.bibsonomy.org/bibtex/296e4f1315f5688d0f1cb644359807149/dblp}, ee = {http://www.jsoftware.us/show-90-1296-1.html}, interhash = {bf2f469c6dff158bb1dd296f4a0e6b98}, intrahash = {96e4f1315f5688d0f1cb644359807149}, journal = {J. Softw.}, keywords = {dblp}, number = 10, pages = {2693-2698}, timestamp = {2020-09-16T11:38:43.000+0200}, title = {Modeling and Verification for Track Circuit Encoding in Train Control Center Based on UML and TA.}, url = {http://dblp.uni-trier.de/db/journals/jsw/jsw9.html#YuanWCA14}, volume = 9, year = 2014 }