NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 21
  • 9
  • 2
  • Tagged with
  • 32
  • 22
  • 11
  • 9
  • 9
  • 6
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 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 21 to 30 of 32 (0.073 seconds)

Spelling suggestions: "subject:"spezifikationen"" "subject:"kommunikationstechnik""

21

Formale Modellierung interagierender autonomer und reaktiver Komponenten verteilter Systeme mit I-Systemen formale Basis und Beiträge zur Theorie /

Wedig, Arnim. Unknown Date (has links) (PDF)
Universiẗat, Diss., 2004--Dortmund.
22

Translating formal specifications into behavioural hardware descriptions

Drögehorn, Olaf. January 2004 (has links)
University, Diss., 2004--Kassel. / Download lizenzpflichtig.
23

System-Level-Entwurfsmethodik eingebetteter Systeme /

Klaus, Stephan. January 2006 (has links)
Techn. Universiẗat, Diss., 2005--Darmstadt.
24

User interface specification for interactive software systems /

Memmel, Thomas. January 2009 (has links)
Zugl.: Konstanz, University, Diss., 2009.
25

A formal framework for modelling component extension and layers in distributed embedded systems

Förster, Stefan January 2006 (has links)
Zugl.: Chemnitz, Techn. Univ., Diss., 2006
26

Konstruktion betriebswirtschaftlicher Standard-Anwendungssysteme aus Anwendungselementen

Lang, Klaus-Peter. Unknown Date (has links)
Techn. Universiẗat, Diss., 2005--Darmstadt.
27

A framework for formal representation and transformational optimisation of executable specifications

Meyer, Thomas January 2005 (has links)
Zugl.: Bremen, Univ., Diss., 2005
28

A component based approach to human computer interaction : specification, composition, and application to information services

Feyer, Thomas January 2004 (has links) (PDF)
Zugl.: Cottbus, Techn. Univ., Diss., 2003
29

An integration of Z and Timed CSP for specifying real time embedded systems

Sühl, Carsten. Unknown Date (has links) (PDF)
Techn. University, Diss., 2002--Berlin.
30

A uniform framework for the formal specification and verification of information flow security

Mantel, Heiko. Unknown Date (has links) (PDF)
University, Diss., 2003--Saarbrücken.

Page generated in 0.0777 seconds