Normann Decker und Engineering - Info zur Person

(1 - 13 von 13

)

Kompetenzverbund Software Systems Engineering » Blog Archive »

kosse-sh.de

Normann Decker, Universität zu Lübeck: 16:30 Uhr: WCET on Multicore Processors – Problems and Answers Simon Wegener, AbsInt Angewandte Informatik GmbH: 17:00 …

HOL theorem-proving system / [Hol-info] [fm-announcements] NFM

sourceforge.net

"jUnitRV - Adding Runtime Verification to jUnit" Normann Decker, Martin Leucker and Daniel Thoma. "Using Language Engineering to Lift ...

Staff View: NASA formal methods

library.villanova.edu

... Charles Pecheur -- |t jUnitRV-Adding Runtime Verification to jUnit / |r Normann Decker, Martin Leucker, Daniel Thoma -- |t Using Language Engineering to Lift ...

Table of Contents: NASA formal methods

library.villanova.edu

... jUnitRV-Adding Runtime Verification to jUnit /; Normann Decker, Martin Leucker, Daniel Thoma; Using Language Engineering to Lift Languages and Analyses ...

NASA Formal Methods: 5th International Symposium, NFM 2013, ...books.google.com.tr › books

books.google.com.tr

jUnitRV—Adding Runtime Verification to jUnit Normann Decker, Martin Leucker, and Daniel Thoma Institute for Software Engineering and Programming ...

Tools and Algorithms for the Construction and Analysis of Systems: ...books.google.de › books

books.google.de

Monitoring Modulo Theories Normann Decker, Martin Leucker, and Daniel Thoma Institute for Software Engineering and Programming Languages Universität ...

dblp: International Symposium on Software Reliability Engineering 2014

dblp.uni-trier.de

Bibliographic content of International Symposium on Software Reliability Engineering 2014

University of Lübeck · Institute of Telematics :: Publications

www-old.itm.uni-luebeck.de

... (Normann Decker, Franziska Kühn, Daniel Thoma), In 25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, ...

[DL] [fm-announcements] NFM Call for participation

mailman.informatik.uni-bremen.de

"jUnitRV - Adding Runtime Verification to jUnit" Normann Decker, Martin Leucker and Daniel Thoma. "Using Language Engineering to Lift ...

ISP Oberseminar | ISP - Institute for Software Engineering and...

www.isp.uni-luebeck.de

Assistants: Normann Decker , Volker Diekert, FMI, Universität Stuttgart, Power Circuits and Arithmetic for Highly Compressed Integers

Model Checking for Flat Systems and Temporal DocPlayer.orgdocplayer.org › Model-checking-for-fla...

docplayer.org

Model Checking for Flat Systems and Temporal Logic with Counting Normann Decker From the Institute for Software Engineering and Programming Languages ...

Impartiality and Anticipation for Monitoring of Visibly Context-Free...

what-when-how.com

Normann Decker, Martin Leucker, and Daniel Thoma. Institute for Software Engineering and Programming Languages. Universitat zu Lubeck, Germany. { decker ...

Alle Infos zum Namen "Normann Decker"

Verwandte Suchanfragen zu Normann Decker

Malte Schmitz
Felix Klaedtke
Anke Fähnrich

Benedikt Bollig
Kathrin Kalies
Jannis Harder

Martin Leucker
Peter Habermehl
Moritz Krebbel

Person "Decker" (28)
Vorname "Normann" (285)
Name "Decker" (2612)

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

Normann Decker und Engineering Person-Info