Filter by: Subject

Now showing items 1-6 of 1

    formal verification (1)
    real-time verification (1)
    refinement-based verification (1)
    timed refinement (1)
    timed transition systems (1)
    verification of object code (1)