Hardi Hungar und Oldenburg - Info zur Person

(1 - 17 von 17

)

Campus Event Calendar: Dr. Hardi Hungar ( in

domino.mpi-inf.mpg.de

Speaker: Dr. Hardi Hungar. coming from: OFFIS e.V., University of Oldenburg. Speakers Bio: Event Type: Talk. Visibility: D1, D2, D3, D4 We use ...

Conferences - AVACSwww.avacs.org › events › conferences

www.avacs.org

Eingeladener Vortrag, Termin verschoben vom Sommerpause Oldenburg. PD Dr. Hardi Hungar, OFFIS: The High-Lift Case Study.

CONCUR '94: Concurrency Theory: 5th International ...books.google.de › books

books.google.de

Local Model Checking for Parallel Compositions of Context-Free Processes Hardi Hungar Computer Science Department University Oldenburg D

PD Dr. Hardi Hungar - guest.uni-oldenburg.de

www.guest.uni-oldenburg.de

PD Dr. Hardi Hungar: Dependable System Design Carl von Ossietzky University Oldenburg Mobile: + E-Mail: <hardi.hungar[[at]]uni-oldenburg.de>

PD Dr. Hardi Hungar

www.guest.uni-oldenburg.de

hungar[[at]]uni-oldenburg.de> · DLR TS, German Aerospace Center Institute of ...

Statecharts | SpringerLink

link.springer.com

Werner Damm (1); Hardi Hungar (1); Peter Kelb (1); Rainer Schlör (1). Author Affiliations. 1. Universität Oldenburg and OFFIS Oldenburg, ...

[PDF] First-Order-CTL Model Checking - Orna Grumbergorna.cswp.cs.technion.ac.il › sites › › india-oldenburg98

orna.cswp.cs.technion.ac.il

Hardi Hungar. 1. Karen Laster &#-Oldenburg.DE. 2 &#.AC.IL. Abstract. This work presents a first-order ...

Tools for the Model-based Development of Certifiable ...www.dagstuhl.de › program › calendar › semhp

www.dagstuhl.de

... Model-based Development of Certifiable, Dependable Systems. Organizers. Michaela Huhn (TU Braunschweig, DE) Hardi Hungar (OFFIS – Oldenburg, DE)

Schloss Dagstuhl : Seminar Calendar

www.dagstuhl.de

Michaela Huhn (TU Braunschweig, DE), Hardi Hungar (OFFIS - Oldenburg, DE), Doron A. Peled (Bar-Ilan University - Ramat-Gan, IL) ...

DBWorld Message

research.cs.wisc.edu

... co-located with the MoDELS2008 and a special theme section of Journal on ... Hardi Hungar, Offis Institute Oldenburg, Germany Jan Jürjens, Open University ...

LICS'91 Registration

www.seas.upenn.edu

... Hardi Hungar (Oldenburg) 16:50 Semantics of Pointers, Referencing and Dereferencing with Intensional Logic, Hin-Kai Hung (AGS Information Services) and ...

CFP

easychair.org

... Intelligent Automation, Inc; Dr. Hardi Hungar, Carl von Ossietzky University Oldenburg, Germany; Dr. Hongbo Zhou, Southern Illinois University Carbondale ...

Program Committeewww.computer.org › pds › api › csdl › proceedings › download-article › pdf

www.computer.org

Hardi Hungar, OFFIS, Oldenburg, Germany. Hernan Astudillo, Universidad Técnica Federico Santa María, Chile. Ian Hayes, University of Queensland, Australia.

Proceedings 2nd International Workshop on Safe Control of ...eptcs.web.cse.unsw.edu.au › content › SCAV2018

cgi.cse.unsw.edu.au

... Sybille Fröschle (OFFIS Oldenburg, DE); Khalil Ghorbal (INRIA, FR); Jeremie Guiochet (LAAS, FR); Hardi Hungar (DLR Braunschweig, DE) ...

FMICS05 - Home Page

fmt.isti.cnr.it

Hardi Hungar (Univ. Oldenburg, De) Diego Latella (CNR/ISTI Pisa, It) Tiziana Margaria co-chair (Univ. of Göttingen , De) Mieke Massink co-chair (CNR-ISTI Pisa

IMoST // Universität Oldenburg

uol.de

PD Dr. Hardi Hungar: PD Dr. Frank Köster: Prof. Dr. Karsten Lemmer: Dr. Andreas Lüdtke: Prof. Dr. Claus Möbus: Prof. Dr. Ernst-Rüdiger Olderog: Prof. Dr. Joachim Peinke

Uni-Fokus — Carl von Ossietzky Universität Oldenburg

uol.de

Dr. Hardi Hungar, Fachgebiet "Technische Informatik" Fachbereich 11 Literatur- und Sprachwissenschaften. Dr. Harro Zimmermann, Fachgebiet "Neuere Deutsche Literaturwissenschaft"

Alle Infos zum Namen "Hardi Hungar"

Verwandte Suchanfragen zu Hardi Hungar

Stefan Disch
Sven Sieverding
Florian Pigorsch

Tiziana Margaria-Steffen
Bernhard Josko
Oliver Niese

Tiziana Margaria
Boris Wirtz
Michaela Huhn

Personen
Vorname "Hardi" (226)
Name "Hungar" (20)

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

Hardi Hungar und Oldenburg Person-Info