Harald Ruess - Dokumente zum Namen - alle Infos bei Yasni.de

(1 - 10 von 10

)

Business bavaria _de

de.slideshare.net

BUSINESS BAVARIA Die Ansiedlungsagentur des Freis…

[ v1] Certification for mu-calculus with winning strategies

arxiv.org

... Bibliography. listing | bibtex · Martin Hofmann · Harald Ruess ... From: Harald Ruess [view email] [v1] Wed, 8 Jan :30:54 GMT (50kb,D). Which authors ...

Rueß, Harald [WorldCat Identities]

www.worldcat.org

0 Publications by Harald Ruess off 0 Publications by Harald Ruess off 0 Publications by Harald Ruess by 1 Publication by Harald Ruess.

Abstract

imps.mcmaster.ca

... applications of decision procedures such as interactive proof checking and automated verification. (Joint work with Leonardo de Moura and Harald Ruess.)

[ ] Model-Based Safety and Security Engineering

arxiv.org

Title:Model-Based Safety and Security Engineering. Authors:Vivek Nigam, Alexander Pretschner, Harald Ruess. (Submitted on 11 Oct

[ ] Security Engineering for ISO

arxiv.org

· Security Engineering for ISO Authors:Yuri Gil Dantas, Vivek Nigam, Harald Ruess · Download PDF. Abstract: The ISO is a new ...

[ ] Towards Dependability Metrics for Neural Networks

arxiv.org

Authors:Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka. (Submitted on 6 Jun (v1), last revised 8 Jun

[ v1] Verification of Binarized Neural Networks

arxiv.org

Authors:Chih-Hong Cheng, Georg Nührenberg, Harald Ruess. (Submitted on 9 Oct (this version), latest version 19 Jan (v2)).

[ ] Certification for mu-calculus with winning strategies

arxiv.org

listing | bibtex · Martin Hofmann · Harald Ruess ... From: Harald Ruess [view email] [v1] Wed, 8 Jan :30:54 GMT (50kb,D).

[ ] G4LTL-ST: Automatic Generation of PLC Programs

arxiv.org

Harald Ruess · Stefan Stattelmann ... Authors: Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann. (Submitted on 10 May ...

Verwandte Suchanfragen zu Harald Ruess

Michael Geisinger
Maria Sorea
Oliver Möller

Felix Klaedtke
Georg Nührenberg
Denis Bytschkow

Matthias Froese
Reinhard Goetz
Michael Kring

Person "Ruess" (1)
Vorname "Harald" (27867)
Name "Ruess" (258)

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 Harald Ruess