The following pages link to (Q4845499):
Displaying 13 items.
- Connectors as designs: modeling, refinement and test case generation (Q433336) (← links)
- Manifest domains: analysis and description (Q520235) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- To every manifest domain a CSP expression -- a rôle for mereology in computer science (Q1683705) (← links)
- Semantics of under-determined expressions (Q1911315) (← links)
- Stepwise development and model checking of a distributed interlocking system using RAISE (Q1996429) (← links)
- Stepwise development and model checking of a distributed interlocking system -- using RAISE (Q2024351) (← links)
- Refinement-oriented probability for CSP (Q2365393) (← links)
- Classifying categories for partial equational logic (Q2842828) (← links)
- Model Checking LTL Formulae in RAISE with FDR (Q3605469) (← links)
- Compositionality: Ontology and Mereology of Domains (Q5187818) (← links)
- Domain Endurants (Q5403066) (← links)
- Towards a denotational semantics of timed RSL using duration calculus (Q5934292) (← links)
