Pages that link to "Item:Q1400428"
From MaRDI portal
The following pages link to The formal semantics of SDL-2000: Status and perspectives. (Q1400428):
Displaying 5 items.
- Towards a formal foundation of the specification and description language SDL (Q749198) (← links)
- What is the natural abstraction level of an algorithm? (Q2117593) (← links)
- Predictable real-time software synthesis (Q2642542) (← links)
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems (Q2643128) (← links)
- (Q4450973) (← links)