Simulink Timed Models for Program Verification (Q2842628)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Simulink Timed Models for Program Verification
scientific article

    Statements

    Simulink Timed Models for Program Verification (English)
    0 references
    0 references
    0 references
    0 references
    16 August 2013
    0 references
    Simulink
    0 references
    Z
    0 references
    CSP
    0 references
    Circus
    0 references
    time
    0 references
    refinement
    0 references
    modelling
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers