Monografie

Refinement on the way towards Replacement of animal experiments: A retrospective review of the use of Refinement methods in German animal research applications

to connected objects

Language
Englisch
Identifier
1218075813

Subject
Research

Contributor
Herrmann, Kathrin

DOI
10.17169/refubium-27066
URN
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
26.01.2023, 1:58 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Object type

  • Monografie

Associated

  • Herrmann, Kathrin

Other Objects (12)

A framework program for the teaching of alternative methods (replacement, reduction, refinement) to animal experimentation

A framework program for the teaching of alternative methods (replacement, reduction, refinement) to animal experimentation

Towards Constructive Description Logics for Abstraction and Refinement

Monografie

Towards Constructive Description Logics for Abstraction and Refinement

Towards Automated Refinement of TLM Properties to RTL

Monografie

Towards Automated Refinement of TLM Properties to RTL

Some Properties of Refinement

Monografie

Some Properties of Refinement

Bisimulations and model refinement

Monografie

Bisimulations and model refinement

Architectural refinement in Hets

Monografie

Architectural refinement in Hets

Architectural Refinement in HETS

Monografie

Architectural Refinement in HETS

Refinement of modern speech

Grafik

Refinement of modern speech

Island Planning and Refinement

Monografie

Island Planning and Refinement

ASM refinement preserving invariants

ASM refinement preserving invariants

Deduction-based refinement planning

Monografie

Deduction-based refinement planning

Abstraction refinement for pushdown systems

Monografie

Abstraction refinement for pushdown systems

Related objects