default search action

combined dblp search
author search
venue search
publication search

ask others

2nd AMMSE 2011: Zurich, Switzerland

> Home > Series

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-5962
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-5962
Francisco Durán, Vlad Rusu:
Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, AMMSE 2011, Zurich, Switzerland, 30th June 2011. EPTCS 56, 2011
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1107-0063
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-0063
Peter Csaba Ölveczky:
Formal Model Engineering for Embedded Systems Using Real-Time Maude. 3-13
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1107-0064
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-0064
Jeroen van den Bos, Mark Hills, Paul Klint, Tijs van der Storm, Jurgen J. Vinju:
Rascal: From Algebraic Specification to Meta-Programming. 15-32
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1107-0065
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-0065
Bertrand Boisvert, Louis Féraud, Sergei Soloviev:
Typed lambda-terms in categorical attributed graph transformation. 33-47
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1107-0066
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-0066
Francisco Durán, Peter Csaba Ölveczky, José Eduardo Rivera:
Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies. 49-63
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1107-0067
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-0067
Suzana Andova, Mark van den Brand, Luc Engelen:
Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models. 65-79
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1107-0068
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-0068
Francisco Durán, Martin Gogolla, Manuel Roldán:
Tracing Properties of UML and OCL Models with Maude. 81-97

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.