Search Results - Liu, Shaoying

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Capturing Safety Properties for Safety-critical Systems using SOFL

    Capturing Safety Properties for Safety-critical Systems using SOFL by Azma, Abdullah, Liu, Shaoying

    Published 2011
    Get full text
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:
  2. 2
    SOFL Three-Step Approach to Construct the Formal Specification of a Brain Tumor Treatment System

    SOFL Three-Step Approach to Construct the Formal Specification of a Brain Tumor Treatment System by A Rahman, Mat, Cheah, Wai Shiang, Liu, Shaoying

    Published 2013
    Get full text
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Hazard Analysis for Safety-critical Systems Using SOFL

    Hazard Analysis for Safety-critical Systems Using SOFL by Azma, Abdullah, Liu, Shaoying

    Published 2013
    Get full text
    Get full text
    Conference or Workshop Item
    Save to List
    Saved in:

Search Tools: