1
0
0
(1 - 30 von 45
)
My Co-Authors [Informatik Embedded Software]
embedded.rwth-aachen.de
I have been very fortunate to get the opportunity to work with many supportive ... Ansgar Fehnker (1) (NICTA, Australia)
Guided Search for Hybrid Systems Based on Coarse-Grained Space...
swt.informatik.uni-freiburg.de
Guided Search for Hybrid Systems Based on Coarse ... Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions, ... Ansgar Fehnker and ...
Seminar Applying Formal Verification Methods to Embedded Systems
www-i2.informatik.rwth-aachen.de
Ansgar Fehnker, Lodewijk van Hoesel and Angelika Mader: Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks, Integrated Formal Methods, pages 253
Survey on Directed Model Checking
kops.uni-konstanz.de
EDELKAMP, Stefan, Viktor SCHUPPAN, Dragan BO NAČKI, Anton WIJS, Ansgar FEHNKER, Husain ALJAZZAR, Survey on Directed Model Checking.
dblp: Frits W. Vaandrager
dblp1.uni-trier.de
List of computer science publications by Frits W. Vaandrager
Search results for "Ansgar Fehnker" – FacetedDBLP
dblp.l3s.uni-hannover.de
Found 34 publication records. Showing 34 according to the selection in the facets
Dependable Systems and Software: Im Zoo der Automaten
depend.cs.uni-saarland.de
Ansgar Fehnker, Lodewijk van Hoesel and Angelika Mader: Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks, IFM 2007, pp
dblp: Rob J. van Glabbeek
dblp.uni-trier.de
List of computer science publications by Rob J. van Glabbeek
dblp: Michel Lussenburg
dblp.uni-trier.de
List of computer science publications by Michel Lussenburg
Verwandte Suchanfragen zu Ansgar Fehnker
Ralf Huuck Paul Pettersson Gerd Behrmann | Stefan Edelkamp Wolf Rödiger Ansgar Grüne | Maurice Gully Matthias Fruth Anke Baumhöfer |
Personen Vorname "Ansgar" (2713) Name "Fehnker" (28) |
sortiert nach Relevanz / Datum