Hae Sang Song, Tag Gon Kim. Safety Analysis of Computer-Controlled Real-Time Systems with Message Loss Using Communicating DEVS Models. In Tianyuan Xiao, Lin Zhang, Minrui Fei, editors, AsiaSim 2012 - Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I. Volume 323 of Communications in Computer and Information Science, pages 480-489, Springer, 2012. [doi]
@inproceedings{SongK12, title = {Safety Analysis of Computer-Controlled Real-Time Systems with Message Loss Using Communicating DEVS Models}, author = {Hae Sang Song and Tag Gon Kim}, year = {2012}, doi = {10.1007/978-3-642-34384-1_57}, url = {http://dx.doi.org/10.1007/978-3-642-34384-1_57}, researchr = {https://researchr.org/publication/SongK12}, cites = {0}, citedby = {0}, pages = {480-489}, booktitle = {AsiaSim 2012 - Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I}, editor = {Tianyuan Xiao and Lin Zhang and Minrui Fei}, volume = {323}, series = {Communications in Computer and Information Science}, publisher = {Springer}, isbn = {978-3-642-34383-4}, }