Search Results

Showing 1 - 3 results of 3 for search 'runtime verification', query time: 0.10s Refine Results
  1. 1
    by Khalid, Sadaf, Arif, Fahim
    Published 2012
    “... programming (AOP) is modern programming paradigm facilitating the runtime interception of events of interest...”
    Get access
    Get access
    Text
  2. 2
    by Khalid, Sadaf, Arif, Fahim
    Published 2012
    “... programming (AOP) is modern programming paradigm facilitating the runtime interception of events of interest...”
    Get access
    Get access
    Text
  3. 3
    “... and ice dynamic models must be coupled, allowing runtime information sharing between components. We have...”
    Get access
    Get access
    Text
Search Tools: Get RSS Feed