Journal Papers

Conference Papers

Technical Papers

  1. M. H. Hwang, "Quantitative Verification of Reconfigurable Manufacturing Systems: DEVS Approach'', Technical Paper 2005-01, ECE Dept., Wayne State University, May, 2005
  2. M.H. Hwang, S.K. Cho, B.P. Zeigler, F. Lin, "Processing Time Bounds of Schedule-Preserving DEVS'', ACIM Technical Report 2007-H1
  3. M.H. Hwang, "DEVS Theory of System Verification", Technical Report, 2012-1