PLCStudio: Simulation based PLC code verification

Sang C. Park, Chang Mok Park, Gi-Nam Wang, Jongeun Kwak, Sungjoo Yeo. PLCStudio: Simulation based PLC code verification. In Scott J. Mason, Raymond R. Hill, Lars Mönch, Oliver Rose, Thomas Jefferson, John W. Fowler, editors, Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, WSC 2008, InterContinental Hotel, Miami, Florida, USA, December 7-10, 2008. pages 222-228, WSC, 2008. [doi]

@inproceedings{ParkPWKY08,
  title = {PLCStudio: Simulation based PLC code verification},
  author = {Sang C. Park and Chang Mok Park and Gi-Nam Wang and Jongeun Kwak and Sungjoo Yeo},
  year = {2008},
  doi = {10.1109/WSC.2008.4736071},
  url = {http://dx.doi.org/10.1109/WSC.2008.4736071},
  tags = {rule-based, C++},
  researchr = {https://researchr.org/publication/ParkPWKY08},
  cites = {0},
  citedby = {0},
  pages = {222-228},
  booktitle = {Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, WSC 2008, InterContinental Hotel, Miami, Florida, USA, December 7-10, 2008},
  editor = {Scott J. Mason and Raymond R. Hill and Lars Mönch and Oliver Rose and Thomas Jefferson and John W. Fowler},
  publisher = {WSC},
  isbn = {978-1-4244-2708-6},
}