Pages that link to "Item:Q5900547"
From MaRDI portal
The following pages link to Formal Methods at the Crossroads. From Panacea to Foundational Support (Q5900547):
Displaying 5 items.
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
- Correct hardware synthesis (Q766178) (← links)
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP (Q2198135) (← links)
- Relating Event and Trace Semantics of Hardware Description Languages (Q4328965) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709991) (← links)