NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 12
  • 6
  • Tagged with
  • 18
  • 18
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 10 of 18 (0.036 seconds)

Spelling suggestions: "subject:"reaktives atemsystem"" "subject:"reaktives systsystem""

1

Dynamische Modelle für reaktive Systeme mit Daten

Gehrke, Thomas. January 2000 (has links) (PDF)
Braunschweig, Techn. Universiẗat, Diss., 2000.
Reaktives System
2

Formale Fehlermodellierung für verteilte reaktive Systeme

Breitling, Max. January 2001 (has links) (PDF)
München, Techn. Universiẗat, Diss., 2001.
Reaktives System
3

On the mechanized validation of infinite-state and parameterized reactive and mobile systems

Röckl, Christine. January 2001 (has links) (PDF)
München, Techn. University, Diss., 2001.
Reaktives System
4

Symbolic timing diagrams a visual formalism for model verification /

Schlör, Rainer C. January 2002 (has links)
Oldenburg, University, Diss., 2001.
Reaktives System
5

On-line trajectory generation in robotics basic concepts for instantaneous reactions to unforeseen (sensor) events

Kröger, Torsten January 2009 (has links)
Zugl.: Braunschweig, Techn. Univ., Diss., 2009
6

Inkrementelle Entwicklung von Verhaltensmodellen zum Test von reaktiven Systemen

Prenninger, Wolfgang Ludwig Johann. Unknown Date (has links)
Techn. Universiẗat, Diss., 2005--München.
7

Verification in the hierarchical development of reactive systems /

Salger, Frank. January 2001 (has links)
Mannheim, Univ., Diss., 2001.
8

High level transition systems of CSP specifications and their application in automated testing

Schulze, Uwe. Dahlweid, Markus. Unknown Date (has links) (PDF)
University, Diss., M. Dahlweid, U. Schulze, 2004--Bremen. / Erscheinungsjahr an der Haupttitelstelle: 2003.
9

Neural preprocessing and control of reactive walking machines towards versatile artificial perception action systems ; with 3 tables

Manoonpong, Poramate January 2006 (has links)
Zugl.: Siegen, Univ., Diss., 2006 / Lizenzpflichtig
10

The theory and practice of runtime reflection a model-based framework for dynamic analysis of distributed reactive systems

Bauer, Andreas January 2007 (has links)
Zugl.: München, Techn. Univ., Diss., 2007 u.d.T.: Bauer, Andreas Klaus: Model-based runtime analysis of distributed reactive systems / Hergestellt on demand

Page generated in 0.0396 seconds