News
ArtistDesign NoE - ATVA China 2006
www.artist-embedded.org
(Harald Fecher, Michael Huth , DE) - Timed Temporal Logics for Abstracting Transient States. (Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François ...
Durchs Eichhörnchenjahr - Buchjournal
www.buchjournal.de
Junge Leser / Schenken & Spielen August Harald Fecher, Thomas Liesching: PURZELBAUM 0 Kommentar/e ...
Automated Technology for Verification and Analysis - Verimagwww-verimag.imag.fr › ATVA › apapers
www-verimag.imag.fr
Harald Fecher & Huth, Michael (DE) : Controller synthesis and Ordinal Automata. Thierry Cachat (FR) : Sigref - A Symbolic Bisimulation Tool Box.
Albstädter Krankenhaus – ein Haus voller Engel
www.zak.de
Harald Fecher begrüßte und verabschiedete die Anwesenden in seiner Funktion als Fachbereichsleiter. Die Weihnachtsansprache hielt der ...
Netzwerk-Profile
LinkedIn: Harald Fecher | LinkedIn
Harald Fechers berufliches Profil anzeigen LinkedIn ist das weltweit größte berufliche Netzwerk, das Fach- und Führungskräften wie Harald Fecher dabei hilft, ...
Harald Fecher - Spieletest.atwww.spieletest.at › person › Harald-Fecher
www.spieletest.at
Harald Fecher. Spiele als Autor: Purzelbaum (2019). Gewinnspiel. Ravensburger Sommergewinnspiel. Platzhalter Gewinnspiel · Mitspielen & Gewinnen ...
Harald Fecher | Semantic Scholarwww.semanticscholar.org › author
www.semanticscholar.org
Semantic Scholar profile for Harald Fecher, with 57 highly influential citations and 38 scientific research papers.
Персона Harald Fecher | все о настольных играх - tesera.rutesera.ru › person
tesera.ru
все · 3D-скульптор · автор · графический дизайнер · журналист · продюсер · ученый · художник · персоны/Harald Fecher Harald Fecher редактировать ...
Firmen-Mitarbeiter
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.
Bücher
Purzelbaum (Spielware), Thomas Liesching, Harald Fecherm.hugendubel.de › spielware › thomas_liesching_haral...
www.hugendubel.de
Purzelbaum, Spielware von Thomas Liesching, Harald Fecher bei hugendubel.de. Portofrei bestellen oder in der Filiale abholen.
Infos zu 'Harald Fecher' - Ludingwww.luding.org › cgi-bin › AuthorData
www.luding.org
Autor/in: Harald Fecher. Ausgezeichnete Spiele: Spiel der Spiele: Spiele für KinderPurzelbaum (2019). Veröffentlichte Spiele. Purzelbaum, 2019, Zoch · Thomas ...
Formal Methods and Software Engineering: 7th International Conference...
books.google.de
This book constitutes the refereed proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM 2005, held in Manchester, UK in...
Process Algebra and Probabilistic Methods: Performance Modeling and...
books.google.de
... on Programming and Systems, 16(6): – 1674, Probabilistic Unfoldings and Partial Order Fairness in Petri Nets Stefan 94 Harald Fecher et al.
Dokumente zum Namen
State Focusing: Lazy Abstraction for the Mu-Calculus |...
www.springerprofessional.de
Harald Fecher Sharon Shoham . Verlag Springer Berlin Heidelberg Sequenznummer 9. Premium Partner. BranchenIndex Online Die B2B-Firmensuche für Industrie und ...
Local Abstraction-Refinement for the mu-Calculus ...
www.springerprofessional.de
Local Abstraction-Refinement for the mu-Calculus. StackSnuffer: Curing Orion's Unsoundness Erstes Kapitel lesen. Autoren: Harald Fecher, Sharon Shoham.
PCTL Model Checking of Markov Chainswww.cs.tau.ac.il › ~svhss › infinitestate › michael
www.cs.tau.ac.il
... suggesting the existence of finite-state abstractions of models that satisfy such formulae. (Joint work with Harald Fecher, Nir Piterman, and Daniel Wagner.)
On the complexity of model checking interval-valued discrete time ...
www.eis.mdx.ac.uk
[11] Harald Fecher, Martin Leucker, Verena Wolf, Don't Know in proba- bilistic systems, in: Antti Valmari (Ed.), SPIN, in: Lecture Notes in.
Wissenschaftliche Veröffentlichungen
A completed hierarchy of true concurrent equivalences - ScienceDirect
www.sciencedirect.com
A completed hierarchy of true concurrent equivalences. Harald Fecher. Institute of Computer Science and Applied Mathematics, Christian-Albrechts-Universität ...
Harald Fecher - dblpdblp.uni-trier.de › Persons
dblp.uni-trier.de
List of computer science publications by Harald Fecher Harald Fecher, Mila E. Majster-Cederbaum: Taking decisions late: end-based choice combined with ...
Veröffentlichungen allgemein
Don’t Know in Probabilistic Systems | SpringerLink
link.springer.com
In this paper the abstraction-refinement paradigm based on 3-valued logics is extended to the setting of probabilistic systems. We define a notion of...
» Die ausgezeichneten Spiele 2019
www.spielepreis.at
Jahren * Verlag: Zoch Verlag * Autor: Harald Fecher, Thomas Liesching * Gestaltung: Doris Matthäus * Web: www.zoch-verlag.com ...
Oalib search
www.oalib.com
Abstract: It is argued that some symmetric structure in logic programs could be taken into account when implementing semantics in logic ...
Symmetric Structure in Logic Programming - Open Access Library
www.oalib.com
It is argued that some symmetric structure in logic programs could be taken into account when implementing semantics in logic programming. This may enhance the...
Artikel & Meinungen
Harald Fecher | JogoEujogoeu.wordpress.com › tag › hara...
jogoeu.wordpress.com
Sinopse: Com a queda das folhas e das bolotas durante o outono, os esquilos esforçam-se por esconder os seus mantimentos para se ...
Schloss Dagstuhl : Participant List
www.dagstuhl.de
... Méditerranée, FR); Gwenaël Delaval (INRIA – Grenoble, FR); Stephen A. Edwards (Columbia University – New York, US); Harald Fecher (Universität Kiel, DE) ...
Sonstiges
H@LL Spielesuche
www.hall9000.de
H@LL9000 Euer Magazin zum Thema Brettspiele und Kartenspiele. Regelmässig Rezensionen/Spielekritik, Kurzspielregeln sowie News und Reportagen aus der...
CISC 845/EE 583 Course Information Page
tarpit.rmc.ca
Daniela Damian, Filippo Lanubile, Teresa Mallardo: The role of asynchronous discussions in increasing the effectiveness of remote synchronous requirements
Harald Fecher – BoardGameBliss Inc.www.boardgamebliss.com › collections › harald-...
www.boardgamebliss.com
Home; Harald Fecher. Filters. Availability. Out of Stock. Category. Children. Discount. On Sale. Number of Players. 2 Players. 3 Players. 4 Players. Product Type.
Harald Fecher - researchr alias
researchr.org
Local abstraction-refinement for the ::::μ::::-calculusHarald Fecher, Sharon Shoham. STTT, 13(4): , [doi] ...
Buchjournal (inoffiziell): "Harald Fecher, Thomas Liesching ...literatur.social › ...
literatur.social
Harald Fecher, Thomas Liesching: PURZELBAUM: Durchs Eichhörnchenjahr https://www.buchjournal.de
Spiele von Harald Fecher – Brettspiele: Angebote und ...www.brettspiel-angebote.de › spiele
www.brettspiel-angebote.de
... Hal Eccles, Hanno Girke, Hanno von Contzen, Hans Führer, Hans-Peter Stoll, Harald Fecher, Harry Wu, Hartmut Kommerell, Hartwig Jakubik, Hassan Lopez ...
Harald Fecher
www.infona.pl
Search results for: Harald Fecher ... Harald Fecher · Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems ...
mediaTUM - Medien- und Publikationsserver
mediatum.ub.tum.de
This work extends the abstraction-refinement paradigm based on 3-valued logics to the setting of probabilistic systems. Firstly, We define a notion of abstraction ...
Purzelbaum - Thomas Liesching - Harald Fecher - Zoch Verlag -www.spiele-check.de › Purzelbaum
www.spiele-check.de
Anleitung: Link zur Homepage Zur Anleitung Beschreibung: Im Sommer gereift, purzeln die Nüsse im Herbst von den Bäumen. Schlaue ...
Action Refinement for Probabilistic Processes with True Concurrency...
www.semanticscholar.org
In this paper, we develop techniques of action refinement for probabilistic processes within the context of a probabilistic process algebra. A semantic...
Addressing Modeling Challenges in Cyber-Physical Systems
www.dtic.mil
[20] Harald Fecher, Jens Sch onborn, Marcel Kyas, and Willem P. de Roever. 29 new unclarities in the semantics of UML 2.0 state machines.
29 New Unclarities in the Semantics of UML 2.0 State Machines |...
www.springerprofessional.de
UML 2.0, which is the standard modeling language for object-oriented systems, has only an informally given semantics. This is in particular the case
19. Österreichischer Spielepreis | - Brettspielboxbrettspielbox.de › Allgemein
brettspielbox.de
... Hempels Sofa (Marco Teubner / HABA); Monsieur Carrousel (Sara Zarian / Loki); Purzelbaum (Harald Fecher, Thomas Liesching / Zoch) ...
29 New Unclarities in the Semantics of UML 2.0 State Machineswww.springerprofessional.de ›
www.springerprofessional.de
Authors: Harald Fecher, Jens Schönborn, Marcel Kyas, Willem-Paul de Roever. Publisher: Springer Berlin Heidelberg. Published in: Formal Methods and ...
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 ...
Der österreichische Spielepreis Spiel der Spiele: Die Spiele in ...www.superfred.de › SdS
www.superfred.de
Purzelbaum (Harald Fecher, Thomas Liesching, Zoch) Spiele Hit für Experten: Carpe Diem (Stefan Feld, alea) Lift Off (Jeroen Vandersteen, Hans im Glück)
Department of Computer Science, University of Oxford: Hintikka Games...
www.cs.ox.ac.uk
Hintikka Games for PCTL on Labeled Markov Chains
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 ...
Formalizing UML Models and OCL Constraints in PVS
www.cs.ru.nl
Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, and Hillel Kugler. To appear in: Proceedings ...
sortiert nach Relevanz / Datum