Assurance of dynamic adaptation in distributed systems (Q436856): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Defining liveness / rank
 
Normal rank
Property / cites work
 
Property / cites work: Distributed reset / rank
 
Normal rank
Property / cites work
 
Property / cites work: Assurance of dynamic adaptation in distributed systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Verification of evolving software via component substitutability analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Self-stabilizing systems in spite of distributed control / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4144755 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The theorem of E. Hopf under uniform magnetic fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Conic toolkit for building distributed systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proving Liveness Properties of Concurrent Programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3046738 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2728860 / rank
 
Normal rank

Revision as of 11:38, 5 July 2024

scientific article
Language Label Description Also known as
English
Assurance of dynamic adaptation in distributed systems
scientific article

    Statements

    Assurance of dynamic adaptation in distributed systems (English)
    0 references
    0 references
    0 references
    26 July 2012
    0 references
    dynamic adaptation
    0 references
    assurance
    0 references
    correctness
    0 references
    specification
    0 references
    verification
    0 references
    fault-tolerance
    0 references

    Identifiers