Christian Leuxner - Dokumente zum Namen

(1 - 7 von 7

)

Leuxner, Christian [WorldCat Identities]

worldcat.org

Most widely held works by Christian Leuxner. Software and systems safety : specification and verification by NATO Advanced Study Institute on Software 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...

Software and Systems Safety − Specification and Verification

www.cs.ox.ac.uk

Software and Systems Safety − Specification and Verification. Editor. Manfred Broy and Christian Leuxner and Tony Hoare. ISBN. 978−1−60750−710−9. › publicati...

[PDF] www4.in.tum.de/lehre/seminare/hs/ss04/requirements/ - Free...

silo.tips

Download www4.in.tum.de/lehre/seminare/hs/ss04/requirements/...

Department of Computer Science, University of Oxford: Publication -...

www.cs.ox.ac.uk

Tony Hoare and John Wickerson. Book Title. Software and Systems Safety − Specification and Verification. Editor. Manfred Broy and Christian Leuxner and Tony ...

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

Dokumente zum Namen Christian Leuxner

Leuxner, Christian [WorldCat Identities]

ICINCO International Conference on Informatics in ...

Software and Systems Safety − Specification and Verification

[PDF] www4.in.tum.de/lehre/seminare/hs/ss04/requirements/ - Free...

Department of Computer Science, University of Oxford: Publication -...