Malte Schledjewski - Bücher - alle Infos bei Yasni.de

(1 - 11 von 11

)

Computer Aided VerificationCERIST

biblio.cerist.dz

Malte Schledjewski. Martin Blicha. Martin Helfrich. Martin Lange. Masoud Ebrahimi. Mathieu Lehaut. Michael Sammler. Michael Starzinger. Miguel Gómez-Zamalloa.

Malte SchledjewskiFigshare

figshare.com

Malte Schledjewski. +Follow. Usage metrics. 54 item views. 0 item downloads. 0 citations. Co-workers & collaborators. BF. Bernd ...

Automated Technology for Verification and Analysis: 18th ...google.pt

books.google.pt

... Malte Schledjewski Alexander Rabinovich Lei Bu Carbone Tobias Meggendorfer Salomon Sickert Maximilian Weininger Minxue Pan Wenchao Yu Meiyi Ma Ennio ...

Automated Technology for Verification and Analysis: 21st ...google.pt

books.google.pt

... Malte Schledjewski ( ) CISPA Helmholtz Center for Information Security , Saarbrücken , Germany { finkbeiner , florian . kohn , malte.schledjewski}@ ...

Computer Aided Verification: 31st International Conference, ...google.pt

books.google.pt

... Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, and Hazem Torfah VERIFAI: A Toolkit for the Formal Design and Analysis of ...

Computer Aided VerificationOAPEN

library.oapen.org

von S Shoham — ... Malte Schledjewski. Martin Blicha. Martin Helfrich. Martin Lange. Masoud Ebrahimi. Mathieu Lehaut. Michael Sammler. Michael Starzinger. Miguel Gómez-Zamalloa.

Computer Aided Verification: 34th International Conference, ...google.pt

books.google.pt

... Malte Schledjewski Martin Blicha Martin Helfrich Martin Lange Masoud Ebrahimi Mathieu Lehaut Michael Sammler Michael Starzinger Miguel Gómez-Zamalloa Miguel ...

Runtime Verification: 22nd International Conference, RV ...google.com

books.google.com

... Technische Universität Dresden, Dresden, Germany 2 Abstract. Stream-based runtime monitors ...

SearchOpenReview

openreview.net

Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold, Malte Schledjewski (modified: 07 Nov 2022); CoRR 2022; Readers: Everyone. Teaching Distributed and ...

Automated Technology for Verification and Analysis: 18th...

books.google.de

This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in...

Computer Aided Verification: 31st International Conference, CAV 2019,...

books.google.de

The open access two-volume set LNCS and constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification,...

Verwandte Suchanfragen zu Malte Schledjewski

Kerstin Klein
Stefan Gumhold
Noemi Passing

Julian Schmidt
Peter Faymonville
Maximilian Schwenger

Leander Tentrup
Florian Kohn
Michael Starzinger

Person "Schledjewski" (1)
Vorname "Malte" (6857)
Name "Schledjewski" (8)

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

Bücher Malte Schledjewski