The following pages link to Domain Engineering (Q3557667):
Displayed 5 items.
- Manifest domains: analysis and description (Q520235) (← links)
- A formal approach for the construction and verification of railway control systems (Q539161) (← links)
- To every manifest domain a CSP expression -- a rôle for mereology in computer science (Q1683705) (← links)
- Compositionality: Ontology and Mereology of Domains (Q5187818) (← links)
- Domain Endurants (Q5403066) (← links)