Formal abstraction and synthesis of parametric stochastic processes (Q832046)

From MaRDI portal





scientific article; zbMATH DE number 7498005
Language Label Description Also known as
English
Formal abstraction and synthesis of parametric stochastic processes
scientific article; zbMATH DE number 7498005

    Statements

    Formal abstraction and synthesis of parametric stochastic processes (English)
    0 references
    0 references
    0 references
    24 March 2022
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers