Spread the work: multi-threaded safety analysis for hybrid systems (Q6039384)

From MaRDI portal
Revision as of 10:52, 30 July 2024 by Openalex240730090724 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)





scientific article; zbMATH DE number 7682342
Language Label Description Also known as
English
Spread the work: multi-threaded safety analysis for hybrid systems
scientific article; zbMATH DE number 7682342

    Statements

    Spread the work: multi-threaded safety analysis for hybrid systems (English)
    0 references
    0 references
    0 references
    5 May 2023
    0 references

    Identifiers