Search results
From MaRDI portal
- constraints 1998-08-13 Paper Refinement Calculus 1998-06-21 Paper Refinement of fair action systems 1998-05-24 Paper Superposition refinement of reactive systems...10 bytes (19 words) - 06:31, 9 December 2023
- 1998-01-14 Paper Refinement-oriented probability for CSP 1997-03-31 Paper Unifying wp and wlp 1997-02-27 Paper Exits in the refinement calculus 1995-05-11...10 bytes (18 words) - 15:39, 6 December 2023
- Automatic LEFM crack propagation method based on local Lepp-Delaunay mesh refinement 2010-01-19 Paper Lepp-bisection algorithms, applications and mathematical...10 bytes (18 words) - 10:48, 9 December 2023
- in grid refinement studies for discretization error estimation 2021-03-05 Paper A high-order discontinuous Galerkin method with mesh refinement for optimal...10 bytes (16 words) - 12:50, 11 December 2023
- Publication Type Don't Care Non-determinism in Logic Program Refinement 2013-07-24 Paper Refinement of Higher-Order Logic Programs 2011-03-04 Paper Calculating...10 bytes (18 words) - 18:04, 9 December 2023
- Continuous Action System Refinement 2009-04-02 Paper CSP with Hierarchical State 2009-02-24 Paper Probabilistic Choice in Refinement Algebra 2008-08-28 Paper...10 bytes (18 words) - 14:34, 8 December 2023
- using linear temporal logic in Event-B refinement 2016-10-28 Paper The behavioural semantics of Event-B refinement 2016-08-05 Paper An attack on a recursive...10 bytes (19 words) - 15:32, 7 December 2023
- Date of Publication Type Enabledness and termination in refinement algebra 2009-07-24 Paper Refinement Algebra with Operators for Enabledness and Termination...10 bytes (18 words) - 06:31, 9 December 2023
- Type Understanding, Explaining, and Deriving Refinement 2022-03-02 Paper Editorial 2022-01-11 Paper Refinement 2018-11-30 Paper Diversity and adjudication...10 bytes (19 words) - 13:37, 12 December 2023
- 2013-03-22 Paper Mechanised support for sound refinement tactics 2012-07-03 Paper A tactic language for refinement of state-rich concurrent specifications 2011-06-06...10 bytes (18 words) - 10:25, 11 December 2023
- Paper Combined refinement criteria for anisotropic grid refinement in free-surface flow simulation 2018-06-19 Paper Can adaptive grid refinement produce grid-independent...10 bytes (16 words) - 13:07, 12 December 2023
- mardi4nfdi.de/entity/Q2879563 2012-03-28 Paper Discretization of iterative refinement methods for a second kind operator equation 2010-05-25 Paper https://portal...10 bytes (18 words) - 15:15, 11 December 2023
- and Abort 2010-07-26 Paper Refinement algebra for probabilistic programs 2010-03-08 Paper Continuous Action System Refinement 2009-04-02 Paper A Stepwise...10 bytes (18 words) - 04:48, 13 December 2023
- Relational concurrent refinement. III: Traces, partial relations and automata 2016-08-05 Paper Relational Concurrent Refinement: Automata 2016-08-01 Paper...10 bytes (16 words) - 04:40, 9 December 2023
- Paper A Single Complete Relational Rule for Coalgebraic Refinement 2016-08-01 Paper Refinement by Interpretation in a General Setting 2016-08-01 Paper...10 bytes (18 words) - 15:04, 11 December 2023
- A predicative semantics for the refinement of real-time systems 2023-04-28 Paper Transformational vs reactive refinement in real-time systems 1997-02-27...10 bytes (16 words) - 11:27, 13 December 2023
- Paper Combined refinement criteria for anisotropic grid refinement in free-surface flow simulation 2018-06-19 Paper Can adaptive grid refinement produce grid-independent...10 bytes (16 words) - 16:43, 13 December 2023
- iterative uniform refinement 2009-10-16 Paper A geometric diagram and hybrid scheme for triangle subdivision 2009-10-16 Paper Local refinement based on the...10 bytes (16 words) - 14:34, 10 December 2023
- Publication Type Adaptive mesh refinement for conformal hexahedralmeshes 2014-04-14 Paper Conservative space-time mesh refinement methods for the FDTD solution...10 bytes (17 words) - 17:39, 13 December 2023
- Mesh Refinement with Moving Grids 1987-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4727364 1987-01-01 Paper A Test of Moving Mesh Refinement for 2-D...10 bytes (19 words) - 03:37, 9 December 2023