Florian Nafz und Matthias Güdemann - Info zur Person

(1 - 10 von 10

)

Matthias Güdemann (Dr.-Ing.) - Convecs - InriaConvecs

convecs.inria.fr

A specification and construction paradigm for Organic Com…ng systems Matthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach & Wolfgang Reif ...

Formal Specification and Verification of Autonomous Robotic ...

personalpages.manchester.ac.uk

von M LUCKCUCK · · Zitiert von: 210 — [81] Matthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach, and Wolfgang Reif A specification and construction paradigm for organic ... › pubs › a...

Formal Specification and Verification of Autonomous Robotic ...

jdeshmukh.github.io

von M LUCKCUCK · · Zitiert von: 209 — [81] Matthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach, and Wolfgang Reif A specification and construction paradigm for organic ... › teaching › Papers

Towards Safe and Secure Organic Com…ng ApplicationsEmis.de

subs.emis.de

von M Güdemann · · Zitiert von: 1 — Matthias Güdemann, Florian Nafz, Wolfgang Reif, Hella Seebach. Lehrstuhl für Softwaretechnik und Programmiersprachen. Universität Augsburg. D Augsburg ...

Applications and architectures in organic com…ng - CORE

core.ac.uk

Applications and Architectures in Organic Com…ng. By Matthias Güdemann, Florian Nafz, Andreas Pietzowski, Wolfgang (Prof. Dr.) Reif, Benjamin Satzger, Hella Seebach and Theo (Prof. Dr.) Ungerer. Downloads cached PDF from CORE Download PDF (130 KB) ...

Andreas Schierl
Alwin Hoffmann
Matthias Tichy

Benedikt Eberhardinger
Jan-Philipp Steghöfer
Lukas Klejnowski

Personen
Vorname "Florian" (37292)
Name "Nafz" (46)

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

Florian Nafz und Matthias Güdemann Person-Info

Matthias Güdemann (Dr.-Ing.) - Convecs - InriaConvecs

Formal Specification and Verification of Autonomous Robotic ...

Formal Specification and Verification of Autonomous Robotic ...

Towards Safe and Secure Organic Com…ng ApplicationsEmis.de

Applications and architectures in organic com…ng - CORE

Lecture Notes in Informatics

A Specification and Construction Paradigm for Organic ...

Towards Safe and Secure Organic Com…ng Applications – CSEcse.cs.ovgu.de › cse › towards-safe-and-secure-orga...

Alle Infos zum Namen "Florian Nafz"