A Hoare logic for linear systems (Q469998): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Created claim: Wikidata QID (P12): Q55393264, #quickstatements; #temporary_batch_1711486624475
Property / Wikidata QID
 
Property / Wikidata QID: Q55393264 / rank
 
Normal rank

Revision as of 22:03, 26 March 2024

scientific article
Language Label Description Also known as
English
A Hoare logic for linear systems
scientific article

    Statements

    A Hoare logic for linear systems (English)
    0 references
    0 references
    0 references
    0 references
    11 November 2014
    0 references
    Hoare logic
    0 references
    formal verification
    0 references
    linear systems
    0 references
    control systems
    0 references
    0 references
    0 references
    0 references

    Identifiers