Dominik Dietrich - Veröffentlichungen allgemein

(1 - 7 von 7

)

Authoring Verified Documents by Interactive Proof Construction and ...link.springer.com › chapter

link.springer.com

Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors. Dominik Dietrich,; Ewaryst Schulz &; Marc Wagner. Conference ...

Polar: A Framework for Proof Refactoring - Springerlink.springer.com › chapter

link.springer.com

Dominik Dietrich,; Iain Whiteside &; David Aspinall. Conference paper Accesses. 3 Citations. Part of the Lecture Notes in Computer Science book series ...

Formalizing and Operationalizing Industrial Standards | SpringerLinklink.springer.com › chapter

link.springer.com

Formalizing and Operationalizing Industrial Standards. Dominik Dietrich,; Lutz Schröder &; Ewaryst Schulz. Conference paper.

Synthesizing Proof Planning Methods and Ω-Ants Agents from ...link.springer.com › chapter

link.springer.com

Serge Autexier &; Dominik Dietrich. Conference paper Accesses. 2 Citations. Part of the Lecture Notes in Computer Science book series (LNAI,volume 4108) ...

Fundamental Approaches to Software Engineering | SpringerLink

link.springer.com

This book constitutes the refereed proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, held in...

Formalizing and Operationalizing Industrial Standards | SpringerLink

link.springer.com

Industrial standards establish technical criteria for various engineering artifacts, materials, or services, with a view to ensuring their functionality,...

SmartTies – Management of Safety-Critical Developments | SpringerLink

link.springer.com

Formal methods have been successfully used to establish assurances for safety-critical systems with mathematical rigor. Based on our experience in developing a...

Verwandte Suchanfragen zu Dominik Dietrich

Egon Brabenetz
Jörg Meyer
Robert Brink

Person "Dietrich" (61)
Vorname "Dominik" (22148)
Name "Dietrich" (4521)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Veröffentlichungen allgemein Dominik Dietrich

Authoring Verified Documents by Interactive Proof Construction and ...link.springer.com › chapter

Polar: A Framework for Proof Refactoring - Springerlink.springer.com › chapter

Formalizing and Operationalizing Industrial Standards | SpringerLinklink.springer.com › chapter

Synthesizing Proof Planning Methods and Ω-Ants Agents from ...link.springer.com › chapter

Fundamental Approaches to Software Engineering | SpringerLink

Formalizing and Operationalizing Industrial Standards | SpringerLink

SmartTies – Management of Safety-Critical Developments | SpringerLink