Daniel Plagge und Formal Methods - Info zur Person

(1 - 12 von 20

)

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 ...

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 ...

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

books.google.it

Validating B,Z and TLA+ Using ProB and Kodkod Daniel Plagge and Michael Leuschel Institut für Informatik, Universität Düsseldorf⋆ Universitätsstr.

The ProB Constraint Solver 10 Years On - Wiley Online Library

onlinelibrary.wiley.com

von M Leuschel · · Zitiert von: 35 — Sebastian KRINGS and Daniel PLAGGE. Formal Methods Applied to Complex Systems: Implementation of the B Method,. First Edition. › doi › pdf

FM 2012: Formal Methods - 18th International Symposium, Paris ...researchr.org › publication

researchr.org

[doi] · Validating B, Z and TLA + Using ProB and KodkodDaniel Plagge, Michael Leuschel [doi] · From Hoare Logic to Matching Logic ...

Alle Infos zum Namen "Daniel Plagge"

Google Scholar

scholar.google.de

Daniel Plagge. Zugehörigkeit unbekannt. Bestätigte E-Mail-Adresse bei dplagge.de. Formal MethodsCritical Software. ArtikelZitiert von. Titel.

‪Sebastian Krings‬ - ‪Google Scholar‬

scholar.google.de

‪Axivion‬ - ‪‪289-mal zitiert‬‬ - ‪Formal Methods‬ - ‪Model Checking‬ - ‪Constraint Solving‬ - ‪Logic Programming‬ - ‪Information Security‬

Formal Methods Applied to Complex Systems von Jean-Louis Boulanger...

www.che-chandler.de

From Animation to Data Validation: The ProB ConstraintSolver 10 Years On, Michael Leuschel, Jens Bendisposto,IvoDobrikov, Sebastian Krings, Daniel Plagge Unified Train Driving Policy, Alexei Iliasov,Ilya Lopatkin,Alexander Romanovsky.

Formal Methods Applied to Complex Systems - ISTEwww.iste.co.uk › book

www.iste.co.uk

195,00 $From Animation to Data Validation: The ProB Constraint Solver 10 Years On, Michael Leuschel, Jens Bendisposto,Ivo Dobrikov, Sebastian Krings, Daniel Plagge. 195,00 $ From Animation to Data Validation: The ProB Constraint Solver 10 Years On, Michael Leuschel, Jens Bendisposto,Ivo Dobrikov, Sebastian Krings, Daniel Plagge.

Validating B,Z and TLA + Using ProB and Kodkodwww.springerprofessional.de › validating-b-z-and-tla-using-prob-and-kod...

www.springerprofessional.de

verfasst von : Daniel Plagge, Michael Leuschel. Erschienen in: FM 2012: Formal Methods. Verlag: Springer Berlin Heidelberg. Einloggen, um Zugang zu erhalten.

Validating Z Specifications Using the ProB Animator and ...www.springerprofessional.de › vali...

www.springerprofessional.de

Authors: Daniel Plagge, Michael Leuschel. Publisher: Springer Berlin Heidelberg. Published in: Integrated Formal Methods. » Get access to the full-text.

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 Formal Methods Person-Info