The following pages link to (Q4845494):
Displayed 10 items.
- Domain science and engineering from computer science to the sciences of informatics. II: Science (Q464883) (← links)
- Manifest domains: analysis and description (Q520235) (← links)
- Mutation testing in UTP (Q1019021) (← links)
- To every manifest domain a CSP expression -- a rôle for mereology in computer science (Q1683705) (← links)
- Domain science and engineering from computer science to the sciences of informatics. I: Engineering (Q2452758) (← links)
- Model Checking LTL Formulae in RAISE with FDR (Q3605469) (← links)
- Compositionality: Ontology and Mereology of Domains (Q5187818) (← links)
- Domain Endurants (Q5403066) (← links)
- An Institution for Imperative RSL Specifications (Q5403080) (← links)
- Towards a denotational semantics of timed RSL using duration calculus (Q5934292) (← links)