A Toolset for Modelling and Verification of GALS Systems

Podobne zapisy

• Configurable Toolset for Static Verification of Operating Systems Kernel Modules
  od: I. S. Zakharov, i wsp.
  Wydane: (2018-10-01)
• Existential abstractions for distributed reactive systems via syntactic transformations
  od: D'Silva, V, i wsp.
  Wydane: (2007)
• Wave-particle interactions toolset: A python-based toolset to model wave-particle interactions in the magnetosphere
  od: Stelios Tourgaidis, i wsp.
  Wydane: (2022-10-01)
• GLPDS Toolset Development
  od: Rebentisch, Eric
  Wydane: (2013)
• Using the oracle toolset /
  od: 308036 Krohn, Mike
  Wydane: (1993)