Martin Glauer und Institution - Info zur Person

(1 - 19 von 22

)

ETAPS Programme Monday - FridayEtaps

www.etaps.org

Alexander Knapp, Till Mossakowski, Markus Roggenbach and Martin Glauer. An Institution for Simple UML State Machines; Abel Gómez, Massimo Tisi, Gerson Sunyé ... Alexander Knapp, Till Mossakowski, Markus Roggenbach and Martin Glauer. An Institution for Simple UML State Machines; Abel Gómez, Massimo Tisi, Gerson Sunyé ...

Person: Martin GlauerGitHub

bibtex.github.io

Person: Martin Glauer. DBLP: Glauer:Martin. Contributed to: FASE Wrote 1 papers: FASE KnappMRG #state machine #uml: An Institution for ... Person: Martin Glauer. DBLP: Glauer:Martin. Contributed to: FASE Wrote 1 papers: FASE KnappMRG #state machine #uml: An Institution for ...

[ ] An Institution for Simple UML State Machines

arxiv.org

· Authors:Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer · Download PDF. Abstract: We present an institution for UML ...

An institution for simple UML state machines - OPUS 4Universität Augsburg

opus.bibliothek.uni-augsburg.de

von A Knapp · · Zitiert von: 30 — Metadaten. Author: Alexander KnappORCiDGND, Till Mossakowski, Markus Roggenbach, Martin Glauer. URN: urn:nbn:de:bvb:384-opus von A Knapp · · Zitiert von: 30 — Metadaten. Author: Alexander KnappORCiDGND, Till Mossakowski, Markus Roggenbach, Martin Glauer. URN: urn:nbn:de:bvb:384-opus

PublikationenUniversität Augsburg

www.uni-augsburg.de

Alexander Knapp, Till Mossakowski, Markus Roggenbach and Martin Glauer An institution for simple UML state machines. Lecture Notes in Computer ... Alexander Knapp, Till Mossakowski, Markus Roggenbach and Martin Glauer An institution for simple UML state machines. Lecture Notes in Computer ...

Publications - uni-augsburg.de

www.uni-augsburg.de

Alexander Knapp, Till Mossakowski, Markus Roggenbach and Martin Glauer An Institution for Simple UML State Machines. Lecture Notes in Computer Science 9033, DOI: _1 BibTeX | RIS | DOI. Alexander Knapp and María Victoria Cengarle Institutions for OCL-Like Expression Languages.

Publications: MULTIPLE

www.informatik.uni-bremen.de

Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer. An Institution for Simple UML State Machines . In Alexander Egyed, Ina Schaefer (Eds.), 8th International Conference on Fundamental Approaches to Software Engineering (FASE), Lecture Notes in Computer Science.

An Institution for Simple UML State MachinesSpringer

link.springer.com

von A Knapp · · Zitiert von: 30 — Martin Glauer. Show authors. Part of the book series: Lecture Notes in ... Till Mossakowski & Martin Glauer. Swansea University, Swansea, UK. Markus ... von A Knapp · · Zitiert von: 30 — Martin Glauer. Show authors. Part of the book series: Lecture Notes in ... Till Mossakowski & Martin Glauer. Swansea University, Swansea, UK. Markus ...

Fundamental Approaches to Software EngineeringSpringer

link.springer.com

von A Egyed · Zitiert von: 5 — An Institution for Simple UML State Machines. Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer. Pages Download chapter PDF · Map-Based ... von A Egyed · Zitiert von: 5 — An Institution for Simple UML State Machines. Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer. Pages Download chapter PDF · Map-Based ...

Search publications for: arxiv: resultPubPeer

www.pubpeer.com

An Institution for Simple UML State Machines. Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer. arXiv (2014) 0 comments. You have not yet ... An Institution for Simple UML State Machines. Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer. arXiv (2014) 0 comments. You have not yet ...

24th IFIP WG 1.3 International Workshop, WADT Deakin

library2.deakin.edu.au

Tucker -- Institutions for SQL database schemas and datasets / Martin Glauer and Till Mossakowski -- Finite limits and anti-unification in substitution ... Tucker -- Institutions for SQL database schemas and datasets / Martin Glauer and Till Mossakowski -- Finite limits and anti-unification in substitution ...

FASE accepted papers - ETAPS 2022etaps.org › user-profile › archive › 226-fase-accepted

etaps.org

BPEL integration testing; Alexander Knapp, Till Mossakowski, Markus Roggenbach and Martin Glauer. An institution for simple UML state machines ...

Institutions for SQL Database Schemas and DatasetsIFIP Digital Library

dl.ifip.org

Institutions for SQL Database Schemas and Datasets. Martin Glauer (1) , Till Mossakowski (1). Show details. 1 OVGU - Otto-von-Guericke-Universität Magdeburg ... Institutions for SQL Database Schemas and Datasets. Martin Glauer (1) , Till Mossakowski (1). Show details. 1 OVGU - Otto-von-Guericke-Universität Magdeburg ...

Ludwig Hülk
Elisa Förster
Lucía Gómez

Simon Flügel
Hannah Förster
Birgit Schachler

Personen
Vorname "Martin" (86745)
Name "Glauer" (126)

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

Martin Glauer und Institution Person-Info