Synthesis of opaque systems with static and dynamic masks (Q453510)

From MaRDI portal





scientific article; zbMATH DE number 6087623
Language Label Description Also known as
default for all languages
No label defined
    English
    Synthesis of opaque systems with static and dynamic masks
    scientific article; zbMATH DE number 6087623

      Statements

      Synthesis of opaque systems with static and dynamic masks (English)
      0 references
      0 references
      0 references
      0 references
      27 September 2012
      0 references
      security
      0 references
      confidentiality property
      0 references
      opacity
      0 references
      synthesis
      0 references
      dynamic observation
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references