UMP Institutional Repository

Items where Author is "Liu, Shaoying"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.

Conference or Workshop Item

Azma, Abdullah and Liu, Shaoying (2013) Hazard Analysis for Safety-critical Systems Using SOFL. In: 2013 IEEE Symposium on Computational Intelligence for Engineering Solutions (CIES 2013), 16 April 2013 , Singapore. pp. 133-140..

Azma, Abdullah and Liu, Shaoying (2012) An Approach to Safety Analysis and Verification based upon Formal Functional Model. In: The 29th Annual Conference of Japan Society for Software Science and Technology (JSSST 2012), August 2012 , Hosei University, Tokyo, Japan. pp. 1-5..

Azma, Abdullah and Liu, Shaoying (2011) Capturing Safety Properties for Safety-critical Systems using SOFL. In: 2011 First ACIS/JNU International Conference on Computers, Networks, Systems and Industrial Engineering (CNSI), 23-25 May 2011 , Jeju Island. pp. 186-192..

This list was generated on Sun Jun 24 22:54:54 2018 +08.