A Toolset for Modelling and Verification of GALS Systems

Ижил төстэй зүйлс

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