Axel Dold und Formal - Info zur Person

(1 - 7 von 17

)

Using PVS to Prove a Z Re nement - University of YorkUniversity of York

www-users.york.ac.uk

von DWJ Stringer-Calvert · · Zitiert von: 32 — Axel Dold, F.W. von Henke, H. Pfeifer, and H. Rue . Formal veri cation of trans- formations for peephole optimizations These proceedings. › bib › fme97

Formalisierung schematischer Algorithmen - Axel Dold - Google BooksGoogle

books.google.com

› about

Formalisierung schematischer Algorithmen - Axel Dold - Google Books

books.google.de

Axel Dold. Univ. Ulm, pages. 0 Reviewshttp://books.google.com/books/about/Formalisierung_schematischer_Algorithmen.html?id=SSP3HAAACAAJ ...

Abstract State Machines - Theory and Applications: International...

books.google.de

Technical Report, Magdeburg University, Axel Dold. A formal representation of abstract state machines using pvs. Technical Report Verifix Report Ulm/6.2, ...

ZB 2002: Formal Specification and Development in Z and B: 2nd...

books.google.de

... GemPlus, France Axel Dold, University of Ulm, Germany Benoit Fraikin, University of Sherbrooke, Canada Lindsay Groves, Victoria University, New Zealand ...

An Abstract Programming System - arXivarXiv

arxiv.org

von DA Plaisted · · Zitiert von: 3 — von Henke, Axel Dold, Harald Rues, and Detlef Schwier. Construction and deduction methods for the formal development of software. In KORSO Book, pages. 239–254, ... › pdf

Alle Infos zum Namen "Axel Dold"

A Framework for Modeling the Semantics of Expression Evaluation with...

link.springer.com

We present a framework for formalizing the semantics of expression evaluation using Abstract State Machines. Many programming languages allow some...

Verwandte Suchanfragen zu Axel Dold

Wolfgang Goerigk
Holger Pfeifer
Vincent Vialard

Thilo Gaul
Hans Kraut
Tiziana Margaria

Daniela Damm
Harald Rueß
Roland Dold

Person "Dold" (3)
Vorname "Axel" (23019)
Name "Dold" (622)

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

Axel Dold und Formal Person-Info