Pages that link to "Item:Q2198135"
From MaRDI portal
The following pages link to Theoretical and practical approaches to the denotational semantics for MDESL based on UTP (Q2198135):
Displaying 4 items.
- Denotational semantics and its algebraic derivation for an event-driven system-level language (Q903516) (← links)
- Reasoning about iteration and recursion uniformly based on big-step semantics (Q2154025) (← links)
- Applying formal verification to an open-source real-time operating system (Q6535839) (← links)
- An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency (Q6561342) (← links)