Thomas Santen und Dagstuhl - Info zur Person

(1 - 12 von 13

)

Past and Current iFM Conferences | iFM Conference

www.ifmconference.org

Past and Current iFM Conferences · Dagstuhl Castle, Germany; Novembrer 1st - 3rd, · Chairs: Wolfgang Grieskamp, Thomas Santen, Bill Stoddart · Proceedings: ... › hi...

Integrated Formal Methods - Dymocks

www.dymocks.com.au

... IFM 2000, Dagstuhl Castle, Germany, November 1-3, Proceedings. PaperBack by Wolfgang Grieskamp, Thomas Santen, Bill Stoddart, Bill Stoddart. › book

Integrated Formal Methods: Second International Conference, IFM

books.google.nl

IFM 2000, the second in a series of international conferences on Integrated F- mal Methods, was held at the 18th-century chateau ^ of Schloss Dagstuhl, Sa-...

Santen, Thomas [WorldCat Identities]

worldcat.org

Most widely held works by Thomas Santen. Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, ...

Teilnehmer - Schloss Dagstuhl : Participant List

www.dagstuhl.de

— ... Christopher Robinson-Mallett (Berner & Mattner Systemtechnik – Berlin, DE); Thomas Santen (European Microsoft Innovation Center – Aachen ... › program › calendar › partlist

Schloss Dagstuhl : Participant List

www.dagstuhl.de

... Draque Penso (RWTH Aachen, DE); Klaus Echtle (Universität Duisburg-Essen, DE) ... Ahmad-Reza Sadeghi (Ruhr-Universität Bochum, DE); David Sands ( Chalmers UT – Göteborg, SE); Thomas Santen (TU Berlin, DE) ...

Dagstuhl Seminar : Model-Based Testing in Practice

www.bing.com

Web22 de oct. de · Thomas Santen (European Microsoft Innovation Center - Aachen, DE) Holger Schlingloff (HU Berlin, DE) Julien Schmaltz (Radboud University Nijmegen, NL) …

NSU Libraries All...

novacat.nova.edu

... international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, : proceedings / Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.) ...

Dagstuhl Seminar : AI meets Formal Software Development

www.bing.com

Web6 de jul. de · Thomas Santen (European Microsoft Innovation Center - Aachen, DE) Stephan Schulz (TU München, DE) Volker Sorge (University of Birmingham, GB) Mark …

Integrated Formal Methods door Wolfgang Grieskamp - Managementboek.nl

www.managementboek.nl

IFM 2000, the second in a series of international conferences on Integrated F- mal Methods, was held at the 18th-century chateau ^ of Schloss Dagstuhl… -...

Dagstuhl Seminar : Principles of Contract Languages

www.bing.com

Web11 de nov. de · Thomas Santen (Formal Assurance - Aachen, DE) Marco Scaletta (TU Darmstadt, DE) Ina Schaefer (KIT - Karlsruher Institut für Technologie, DE) Julien …

Integrated Formal Methods von Wolfgang Grieskamp / Thomas …

www.bing.com

WebWolfgang Grieskamp / Thomas Santen / Bill Stoddart (eds.) Integrated Formal Methods. Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, …

Alle Infos zum Namen "Thomas Santen"

Verwandte Suchanfragen zu Thomas Santen

Burkhart Wolff
Gerhard Schellhorn
Wolfram Schulte

Dirk Seifert
Wolfgang Grieskamp
Thomas Noll

Kirsten Winter
Michael Camps
Dirk Leinenbach

Personen
Vorname "Thomas" (124868)
Name "Santen" (108)

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

Thomas Santen und Dagstuhl Person-Info