Polychrony
From MaRDI portal
Software:24231
No author found.
Related Items (11)
Constructive Polychronous Systems ⋮ Formal modelling and verification of GALS systems using GRL and CADP ⋮ Compositional design of isochronous systems ⋮ Unnamed Item ⋮ Design Automation of Real-Life Asynchronous Devices and Systems ⋮ A framework for modeling the distributed deployment of synchronous designs ⋮ An algebraic theory for behavioral modeling and protocol synthesis in system design ⋮ A compositional behavioral modeling framework for embedded system design and conformance checking ⋮ A metamodel for the design of polychronous systems ⋮ Formal Methods for Components and Objects ⋮ Formal Sequentialization of Distributed Systems via Program Rewriting
This page was built for software: Polychrony
