Markus Frohme und Bernhard Steffen - Info zur Person

(1 - 12 von 13

)

Programme - FMICS 2018

fmics2018.fi.muni.cz

— Markus Frohme and Bernhard Steffen Active Mining of Document Type Definitions. David Huistra, Jeroen Meijer and Jaco van de Pol › progr...

Team | LearnLib

learnlib.de

Markus Frohme Postgraduate TU Dortmund, Germany. Alexander Schieweck Postgraduate TU Dortmund, Germany. Bernhard Steffen Project leader › team

From Software Engineering to Formal Methods and Tools, and ...

books.google.pl

... Markus Frohme, and Bernhard Steffen(B) Chair for Programming Systems, TU Dortmund University, Dortmund, Germany {tim.tegeler,alnis.murtovi,markus.frohme ...

Formal Methods for Industrial Critical Systems: 23rd ...

books.google.pl

Active Mining of Document Type Definitions Markus Frohme(B) and Bernhard Steffen(B) Chair of Programming Systems, Computer Science, TU Dortmund University, ...

Model Checking, Synthesis, and Learning: Essays Dedicated to ...

books.google.pl

Never-Stop Context-Free Learning Markus Frohme( B ) and Bernhard Steffen( B ) Chair of Programming Systems, TU Dortmund, Dortmund, Germany {markus.frohme ...

dblp: Bernhard Steffen

dblp.uni-trier.de

List of computer science publications by Bernhard Steffen

Markus Frohme - dblpdblp.org › Persons

dblp.org

· Tim Tegeler, Alnis Murtovi, Markus Frohme, Bernhard Steffen: Product Line Verification via Modal Meta Model Checking.

Compositional learning of mutually recursive procedural systems |...

link.springer.com

von M Frohme · · Zitiert von: 2 — Affiliations. Chair of Programming Systems, Faculty of Computer Science, TU Dortmund, Dortmund, Germany. Markus Frohme & Bernhard Steffen. › article

Active Mining of Document Type Definitions | springerprofessional.dewww.springerprofessional.de › active-mining-of-document-type-definitions

www.springerprofessional.de

Autoren: Markus Frohme, Bernhard Steffen. Verlag: Springer International Publishing. Erschienen in: Formal Methods for Industrial Critical Systems.

Product Line Verification via Modal Meta Model Checking ...www.springerprofessional.de › product-line-verification-via-modal-meta-m...

www.springerprofessional.de

Autoren: Tim Tegeler, Alnis Murtovi, Markus Frohme, Bernhard Steffen. Verlag: Springer International Publishing. Erschienen in: From Software Engineering to ...

Prototype-Driven Development of Web Applications with DyWA ...www.springerprofessional.de › prototype-driven-development-of-web-appl...

www.springerprofessional.de

Autoren: Johannes Neubauer, Markus Frohme, Bernhard Steffen, Tiziana Margaria. Verlag: Springer Berlin Heidelberg. Erschienen in: Leveraging Applications of ...

Leveraging Applications - PDF Free Download

docplayer.net

... Carlo Ghezzi, and Dino Mandrioli PrototypeDriven Development of Web Applications with DyWA 56 Johannes Neubauer, Markus Frohme, Bernhard Steffen, ...

Alle Infos zum Namen "Markus Frohme"

Verwandte Suchanfragen zu Markus Frohme

Babette Regierer
Susanne Hollmann
Juliane Pfeil

Sebastian Buschjäger
Tanja Denk
Andreas Frohme

Maren Geske
Andreas Seiz
Martin Grebe

Person "Frohme" (1)
Vorname "Markus" (61377)
Name "Frohme" (47)

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

Markus Frohme und Bernhard Steffen Person-Info