Most General Property-Preserving Updates

    LATA, pp. 367-379, 2017.

    Cited by: 0|Bibtex|Views1|Links
    EI

    Abstract:

    Systems need to be updated to last for a long time in a dynamic environment, and to cope with changing requirements. It is important for updates to preserve the desirable properties of the system under update, while possibly enforcing new ones.

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments