Deriving Real-Time Action Systems Controllers from Multiscale System Specifications (Q2908563)

From MaRDI portal





scientific article; zbMATH DE number 6076968
Language Label Description Also known as
default for all languages
No label defined
    English
    Deriving Real-Time Action Systems Controllers from Multiscale System Specifications
    scientific article; zbMATH DE number 6076968

      Statements

      Deriving Real-Time Action Systems Controllers from Multiscale System Specifications (English)
      0 references
      0 references
      0 references
      5 September 2012
      0 references

      Identifiers