Harald Fecher und Martin - Info zur Person

(1 - 17 von 17

)

ETAPS COMPLANGwww.complang.tuwien.ac.at › etaps06 › progSPIN

www.complang.tuwien.ac.at

Markovian Systems (chair: Gianfranco Ciardo): Don't know in Probabilistic Systems: Harald Fecher (Univ. of Kiel, D), Martin Leucker (TU ...

Harald Fecher — Software Engineering

swt.informatik.uni-freiburg.de

Quick Access. Team. Andreas Podelski; Jochen Hoenicke; Bernd Westphal; Berit Brauer; Marlis Jost; Martin Preen; Stephan Arlt; Sergiy Bogomolov; Jürgen Christ ...

Bernd Westphal — Software Engineering

swt.informatik.uni-freiburg.de

Bernd Westphal; Berit Brauer; Marlis Jost; Martin Preen; Stephan Arlt; ... Harald Fecher. Stefan Maus. Corina Mitrohin. Amalinda Post. Martin Schäf . Mohammed …

Christian Schilling — Software Engineering

swt.informatik.uni-freiburg.de

Jelena Barth · Bruno Berstel-Da Silva · Harald Fecher · Stefan Maus · Corina Mitrohin · Amalinda Post · Martin Schäf · Mohammed Nassim Seghir · Martin Wehrle. Es fehlt: forstservice ‎ruppiner ‎schweiz

Jochen Hoenicke — Software Engineering

swt.informatik.uni-freiburg.de

Sergio Feo-Arenis · Marius Greitschus · Matthias Heizmann · Christian Herrera · Vincent Langenfeld · Tobias Morciniec · Marco Muniz · Alexander Nutz · Christian Reuter · Christian Schilling · Tanja Schindler · Jelena Barth · Bruno Berstel-Da Silva · Harald Fecher · Stefan Maus · Corina Mitrohin · Amalinda Post · Martin Schäf.

Model Checking Software: 13th International SPIN Workshop, Vienna,...

books.google.de

abstraction in the same spirit as the one for KMTS, Markovian Systems Don't Know in Probabilistic Systems Harald Fecher, Martin Leucker, Verena Wolf.

\emph{Don't know} in probabilistic systems | ISP - Institute for...

www.isp.uni-luebeck.de

... , author = {Harald Fecher and Martin Leucker and Verena Wolf} } ...

mediaTUM - Medien- und Publikationsserver

mediatum.ub.tum.de

Harald Fecher, Martin Leucker, Verena Wolf Don't know in Probabilistic Systems · Oliver Arafat, Andreas Bauer, Martin Leucker, Christian Schallhart

Characteristic μ-Calculus Formulas for Underspecified Transition ...cyberleninka.org › article

cyberleninka.org

Abstract of research paper on Computer and information sciences, author of scientific article — Harald Fecher, Martin Steffen. Abstract Underspecification, which ...

EXPRESS'04 - ACCPwww.win.tue.nl › express04 › accp

www.win.tue.nl

Harald Fecher, Martin Steffen Characteristic mu-Calculus Formula for an Underspecified Transition System Reynald Affeldt, Naoki Kobayashi Partial Order ...

Media and Publication Server - mediaTUMmediatum.ub.tum.de › node

mediatum.ub.tum.de

Harald Fecher, Martin Leucker, Verena Wolf. Title: Don't know in Probabilistic Systems. Abstract: This work extends the abstraction-refinement paradigm based ...

SCEAS

sceas.csd.auth.gr

Larger Automata and Less Work for LTL Model Checking. [Citation Graph (0, 0)][ DBLP] SPIN, 2006, pp: [Conf]; Harald Fecher, Martin Leucker, Verena Wolf

Alle Infos zum Namen "Harald Fecher"

Verwandte Suchanfragen zu Harald Fecher

Martin Leucker
Martin Schäf
Jens Schönborn

Corina Mitrohin
Michael Huth
Marcel Kyas

Stefan Maus
Thomas Liesching
Verena Wolf

Person "Fecher" (3)
Vorname "Harald" (27867)
Name "Fecher" (338)

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

Harald Fecher und Martin Person-Info