Entity usage
From MaRDI portal
This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.
Showing below up to 21 results in range #1 to #21.
- Services as a Paradigm of Computation: Label: en
- Formal Approach to Railway Applications: Label: en
- VDM Semantics of Programming Languages: Combinators and Monads: Label: en
- Expansive-Bisimulation for Context-Free Processes: Label: en
- Symbolic Test Generation Using a Temporal Logic with Constrained Events: Label: en
- Design in CommUnity with Extension Morphisms: Label: en
- On Revival of Algol-Concepts in Modern Programming and Specification Languages: Label: en
- Design Verification Patterns: Label: en
- Compensable Programs: Label: en
- A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems: Label: en
- Semantics and Verification of a Language for Modelling Hardware Architectures: Label: en
- Specification for Testing: Label: en
- Proving Theorems About JML Classes: Label: en
- Relating Domain Concepts Intensionally by Ordering Connections: Label: en
- Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus: Label: en
- Automating Verification of Cooperation, Control, and Design in Traffic Applications: Label: en
- Harnessing rCOS for Tool Support —The CoCoME Experience: Label: en
- Generating Polynomial Invariants with DISCOVERER and QEPCAD: Label: en
- A Denotational Semantics for Handel-C: Label: en
- From “Formal Methods” to System Modeling: Label: en
- Models and Software Model Checking of a Distributed File Replication System: Label: en
