Pages that link to "Item:Q1859164"
From MaRDI portal
The following pages link to A compositional framework for hardware/software co-design (Q1859164):
Displaying 7 items.
- Hardware/software co-design then and now (Q1028985) (← links)
- TTL: A modular language for hardware/software systems design. (Q1400574) (← links)
- High-level design of embedded hardware-software systems (Q1575017) (← links)
- Refining specifications to programmable logic (Q2844819) (← links)
- A rewriting semantics for ABEL with applications to hardware/software co-design and analysis (Q2873774) (← links)
- (Q4417530) (← links)
- (Q4460227) (← links)