The following pages link to Polychrony (Q24231):
Displaying 11 items.
- Formal modelling and verification of GALS systems using GRL and CADP (Q315303) (← links)
- Compositional design of isochronous systems (Q456402) (← links)
- A metamodel for the design of polychronous systems (Q1014564) (← links)
- A framework for modeling the distributed deployment of synchronous designs (Q2505631) (← links)
- An algebraic theory for behavioral modeling and protocol synthesis in system design (Q2505638) (← links)
- A compositional behavioral modeling framework for embedded system design and conformance checking (Q2506261) (← links)
- Design automation of real life asynchronous devices and systems (Q2786286) (← links)
- Formal sequentialization of distributed systems via program rewriting (Q2867960) (← links)
- Constructive Polychronous Systems (Q3455857) (← links)
- (Q4824482) (← links)
- Formal Methods for Components and Objects (Q5311287) (← links)