Showing 1 - 2 results of 2 for search '"linear temporal logic"', query time: 0.03s Refine Results
  1. 1
    Approach on runtime monitoring based on the embedded trusted platforms

    Approach on runtime monitoring based on the embedded trusted platforms by Zhao-chang SUN, Jian-feng MA, Cong SUN, Di LU

    Published 2017-10-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Temporal-Logic-Based Testing Tool for Programs Using the Message Passing Interface (MPI) and Open Multi-Processing (OpenMP) Programming Models

    Temporal-Logic-Based Testing Tool for Programs Using the Message Passing Interface (MPI) and Open Multi-Processing (OpenMP) Programming Models by Salwa Saad, Etimad Fadel, Ohoud Alzamzami, Fathy Eassa, Ahmed Mohammed Alghamdi

    Published 2025-01-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: