Daniel Plagge und Institut - Info zur Person

(1 - 6 von 11

)

Software Engineering and Formal Methods: 14th International ...google.se

books.google.se

... Daniel Plagge Institut für Informatik, Universität DüsseldorfDüsseldorf, Germany &#-duesseldorf ...

Abstract State Machines, Alloy, B and Z: Second ...google.de

books.google.de

... Daniel Plagge Institut f ̈ur Informatik, Universit ̈at D ̈usseldorf Universit ̈, D D ̈usseldorf &#-duesseldorf ...

FM 2012: Formal Methods: 18th International Symposium, ...google.de

books.google.de

... Daniel Plagge and Michael Leuschel Institut für Informatik, Universität Düsseldorf⋆ , D Düsseldorf &# ...

Integrated Formal Methods: 6th International Conference, IFM ...google.de

books.google.de

... Daniel Plagge and Michael Leuschel Softwaretechnik und Programmiersprachen Institut f ̈ur Informatik, Universit ̈at D ̈usseldorf Universit ̈, D ...

Refinement-animation for event-b - ACM Digital Library

dl.acm.org

von S Hallerstede · · Zitiert von: 26 — Daniel Plagge. Institut für Informatik, Universität Düsseldorf, Düsseldorf. Institut für Informatik, Universität Düsseldorf, Düsseldorf. › doi › abs

Alle Infos zum Namen "Daniel Plagge"

Springer

link.springer.com

von D Plagge · · Zitiert von: 47 — Daniel Plagge & ... Authors and Affiliations. Institut für Informatik, Universität DüsseldorfD , Düsseldorf, Germany. Daniel Plagge & ...

Verwandte Suchanfragen zu Daniel Plagge

Fabian Fritz
Nedim Karabegovic
Willi Schmidt

Sebastian Krings
Jens Bendisposto
Jonas Hellmann

Heiko Simmendinger
Christian Prekel
Stefan Hallerstede

Person "Plagge" (1)
Vorname "Daniel" (84887)
Name "Plagge" (227)

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

Daniel Plagge und Institut Person-Info

Software Engineering and Formal Methods: 14th International ...google.se

Abstract State Machines, Alloy, B and Z: Second ...google.de

FM 2012: Formal Methods: 18th International Symposium, ...google.de

Integrated Formal Methods: 6th International Conference, IFM ...google.de

Refinement-animation for event-b - ACM Digital Library

Alle Infos zum Namen "Daniel Plagge"

Springer