E-LIB Suche - Ergebnisse für: Gräf, Susanne

1

MIMOS: A Deterministic Model for the Design and Update of R..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Yi, Wang ; Mohaqeqi, Morteza ; Graf, Susanne - p. 17-34 , 2022

Link: https://doi.org/10.1007/..

2

Models, Mindsets, Meta: The What, the How, and the Why Not?:

, In: Lecture Notes in Computer Science; Models, Mindsets, Meta: The What, the How, and the Why Not?,

Margaria, Tiziana ; Graf, Susanne ; Larsen, Kim G. - p. 3-13 , 2019

Link: https://doi.org/10.1007/..

3

Building Correct Cyber-Physical Systems: Why We Need a Mult..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Graf, Susanne ; Quinton, Sophie ; Girault, Alain. - p. 19-31 , 2018

Link: https://doi.org/10.1007/..

4

A model transformation tool for performance simulation of c..:

, In: Companion of the 30th international conference on Software engineering,

Constant, Olivier ; Monin, Wei ; Graf, Susanne - p. 923-924 , 2008

Link: https://dl.acm.org/doi/1..

5

Modelling and Analysis of Real Time and Embedded Systems – ..:

, In: Models in Software Engineering; Lecture Notes in Computer Science,

Graf, Susanne ; Gérard, Sébastien ; Haugen, Øystein.. - p. 126-130 , 2007

Link: https://doi.org/10.1007/..

6

Modelling and analysis of real time and embedded systems ..:

, In: Proceedings of the 2006 international conference on Models in software engineering,

Graf, Susanne ; Gérard, Sébastien ; Haugen, Øystein.. - p. 126-130 , 2006

Link: https://dl.acm.org/doi/1..

7

Verification experiments on the MASCARA protocol:

, In: Proceedings of the 8th international SPIN workshop on Model checking of software,

Jia, Guoping ; Graf, Susanne - p. 123-142 , 2001

Link: https://dl.acm.org/doi/1..

8

IF: An Intermediate Representation for SDL and its Applicat..:

, In: SDL '99,

Bozga, Marius ; Fernandez, Jean-Claude ; Ghirvu, Lucian... - p. 423-440 , 1999

Link: https://doi.org/10.1016/..

9

Contributors:

, In: Rosenberg's Molecular and Genetic Basis of Neurological and Psychiatric Disease,

Mew, Nicholas Ah ; Akamatsu, Wado ; Akman, Hasan Orhan... - p. xxxv-xxxix , 2015

Link: https://doi.org/10.1016/..

10

Collocation, anchoring, and the mental lexicon – an ontogen..:

, In: Cognitive Foundations of Linguistic Usage Patterns,

Handl, Susanne ; Graf, Eva-Maria - p. 119-148 , 2010

Link: https://doi.org/10.1515/..

11

Demokratische Wege:

, In: Demokratische Wege,

Paech, Norman ; Niedhart, Gottfried ; Schweppenhäuser, Gerhard... - p. 1-715 , 1997

Link: https://doi.org/10.1007/..

12

Evolutionary layout : preserving the mental map during t..:

, In: Proceedings of the 2006 ACM symposium on Software visualization,

Jucknath-John, Susanne ; Graf, Dennis ; Taentzer, Gabriele - p. 165-166 , 2006

Link: https://dl.acm.org/doi/1..

13

Icon graphs : visualizing the evolution of large class m..:

, In: Proceedings of the 2006 ACM symposium on Software visualization,

Jucknath-John, Susanne ; Graf, Dennis - p. 167-168 , 2006

Link: https://dl.acm.org/doi/1..

14

Artikel A–Z:

, In: Metzler Lexikon Christlicher Denker,

Ulrich, Jörg ; Bee, Guido ; El Kholi, Susann... - p. 1-761 , 2000

Link: https://doi.org/10.1007/..