Christian Leuxner und Bernd Spanfelner - Info zur Person

(1 - 14 von 19

)

CQSE - Veröffentlichungen

www.cqse.eu

Manfred Broy, Christian Leuxner, Daniel Méndez Fernández, Lars Heinemann, Bernd Spanfelner, Wolfgang Mai, Rainer Schlör: Towards a Formal Engineering ...

Component-Based Software Engineering: 12th International Symposium,...

books.google.dk

Acknowledgments. We are grateful to Judith Hartmann, Benjamin Hummel, Leo Kof, Christian Leuxner, Sabine Rittmann and Bernd Spanfelner for their advice on early versions of the paper. References 1. AutoFOCUS 3,http://af3.in.tum.de Abi-Antoun, M., Aldrich, J., Nahas, N., Schmerl, B., Garlan, D.: Differencing and ...

ICINCO International Conference on Informatics in ...

icinco.scitevents.org

Matthias Rungger, Olaf Stursberg, Bernd Spanfelner, Christian Leuxner and Wassiou Sitou. Abstract: This paper considers autonomous robots which are expected ... › ICIN...

Fakultät für Informatik: Technische Berichte

www.in.tum.de

Manfred Broy, Christian Leuxner, Daniel Méndez Fernández, Lars Heinemann, Bernd Spanfelner, Wolfgang Mai, Rainer Schlör: Towards a Formal Engineering Approach for SOA.

Search results for "Bernd Spanfelner" – FacetedDBLP

dblp.l3s.uni-hannover.de

Christian Leuxner, Wassiou Sitou, Bernd Spanfelner: A Formal Model for Work Flows. SEFM : 2010: DBLP DOI BibTeX RDF: 1: Javier Esparza, Bernd Spanfelner, Orna ...

Search results for "MiSE@ICSE" – FacetedDBLP

dblp.l3s.de

1, Bernd Spanfelner, Christian Leuxner, Wassiou Sitou · Formal specification of system functions. Search on Bibsonomy, MiSE@ICSE The full citation details .

8th IEEE International Conference on Software Engineering ...

researchr.org

[doi] · A Formal Model for Work FlowsChristian Leuxner, Wassiou Sitou, Bernd Spanfelner [doi] · Back-annotation of Simulation Traces with ...

SAC Track on Dependable and Adaptive …

www.dedisys.org

(Manfred Broy, Christian Leuxner, Wassiou Sitou, Bernd Spanfelner, and Sebastian Winter) ATM: An Automatic Trust Monitoring Algorithm for Service Software (Mohammad Uddin …

BibSLEIGH — Formalizing the notion of adaptive system behavior

bibtex.github.io

Manfred Broy, Christian Leuxner, Wassiou Sitou, Bernd Spanfelner, Sebastian Winter Formalizing the notion of adaptive system behavior. SAC, SAC

ICNS08 Program - IARIA

www.iaria.org

Cornel Klein, Reiner Schmid, Christian Leuxner, Wassiou Sitou, and Bernd Spanfelner. Enabling Self-Configuration in Autonomic Systems Using Case-Based ... › ProgramIC...

ICAS08 Program

www.iaria.org

Cornel Klein, Reiner Schmid, Christian Leuxner, Wassiou Sitou, and Bernd Spanfelner. Enabling Self-Configuration in Autonomic Systems Using Case-Based ...

SCITEPRESS - SCIENCE AND TECHNOLOGY PUBLICATIONS

www.scitepress.org

von M Rungger · · Zitiert von: 2 — Matthias Rungger, Olaf Stursberg, Bernd Spanfelner, Christian Leuxner, Wassiou Sitou. Abstract. This paper considers the behavior planning of robots ... › Papers

Alle Infos zum Namen "Christian Leuxner"

Verwandte Suchanfragen zu Christian Leuxner

Reiner Schmid
Matthias Rungger
Olaf Stursberg

Sebastian Winter
Cornel Klein
Georg Philipp

Klaus Lochmann
Manfred Broy
Bernd Spanfelner

Person "Leuxner" (1)
Vorname "Christian" (95886)
Name "Leuxner" (9)

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

Christian Leuxner und Bernd Spanfelner Person-Info