scientific article; zbMATH DE number 795680
From MaRDI portal
Publication:4845494
zbMath0875.68296MaRDI QIDQ4845494
Jan Storbank Pedersen, Robert Milne, Søren Prehn, Chris George, Steven Hughes, Anne Elisabeth Haxthausen
Publication date: 12 September 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68N99)
Related Items
To every manifest domain a CSP expression -- a rôle for mereology in computer science ⋮ Domain science and engineering from computer science to the sciences of informatics. II: Science ⋮ Domain science and engineering from computer science to the sciences of informatics. I: Engineering ⋮ Domain Endurants ⋮ An Institution for Imperative RSL Specifications ⋮ Manifest domains: analysis and description ⋮ Towards a denotational semantics of timed RSL using duration calculus ⋮ Compositionality: Ontology and Mereology of Domains ⋮ Model Checking LTL Formulae in RAISE with FDR ⋮ Mutation testing in UTP
This page was built for publication: