Items where Author is "Liu, Shaoying"

Click here for a simple search.
[feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Item Type | No Grouping
Jump to: A
Number of items: 3.


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 Thu Apr 19 19:20:17 2018 MYT.








An Institutional Repository is an online focus for collecting, preserving, and disseminating any University publication in the digital form for the intellectual sharing.
The UMP Institutional Repository (UMP IR) provides access of University publication such as journal article, conference paper, research paper, thesis and dissertations.

Any Enquiries

Please email or call Knowledge Management staff:-

Pn. Noorul Farina (09-424 5605) OR
Cik Ratna Wilis Haryati (09-424 5612)

Any correspondence concerning this specific repository should be sent to