The following pages link to (Q4439585):
Displaying 4 items.
- Compositional design of isochronous systems (Q456402) (← 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)