Pages that link to "Item:Q4697196"
From MaRDI portal
The following pages link to A framework based on implementation relations for implementing LOTOS specifications (Q4697196):
Displaying 6 items.
- An invitation to friendly testing (Q1273070) (← links)
- Modifying LOTOS specifications by means of automatable formula-based integrations (Q1810856) (← links)
- Non-strongly Stable Orders Also Define Interesting Simulation Relations (Q2888489) (← links)
- (Q3994996) (← links)
- Automating (specification = implementation) using equational reasoning and LOTOS (Q5044762) (← links)
- Deriving protocol specifications from service specifications written in LOTOS (Q5137326) (← links)