• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 8
  • 2
  • 1
  • Tagged with
  • 11
  • 4
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 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.
1

Compositional solution of stochastic process algebra models

Bohnenkamp, Henrik. January 2002 (has links) (PDF)
Aachen, Techn. Hochsch., Diss., 2002. / Computerdatei im Fernzugriff.
2

Compositional solution of stochastic process algebra models

Bohnenkamp, Henrik. January 2002 (has links) (PDF)
Aachen, Techn. Hochsch., Diss., 2002. / Computerdatei im Fernzugriff.
3

Prozesstheorie der Ablaufplanung : algebraische Modellierung von Prozessen, Ressourcenrestriktionen und Zeit /

Rittgen, Peter. January 1998 (has links) (PDF)
Diss. Univ. Frankfurt am Main, 1998.
4

Compositional solution of stochastic process algebra models

Bohnenkamp, Henrik. Unknown Date (has links) (PDF)
Techn. Hochsch., Diss., 2002--Aachen.
5

Behavior analysis of communication systems compositional modelling, compact representation and analysis of performability properties /

Siegle, Markus. January 2002 (has links)
Erlangen, Nürnberg, University, Habilitation, 2002.
6

Intensional equality for process calculi based on e-structures

Pooyan-Weihs, Ladan. Unknown Date (has links) (PDF)
Techn. University, Diss., 2000--Berlin.
7

Action refinement in end-based choice settings

Fecher, Harald. January 2003 (has links) (PDF)
Mannheim, Univ., Diss., 2003.
8

Verification in the hierarchical development of reactive systems

Salger, Frank. Unknown Date (has links) (PDF)
University, Diss., 2001--Mannheim.
9

Action refinement in process algebras /

Aceto, Luca. January 1992 (has links)
Thesis (Ph. D.)--University of Sussex, 1990. / Includes bibliographical references (p. 265-271) and index.
10

A Formal Fault Model for Component-Based Models of Embedded Systems

Fischer, Marco 14 May 2007 (has links) (PDF)
Der vierte Band der wissenschaftlichen Schriftenreihe Eingebettete Selbstorganisierende Systeme widmet sich der Entwicklung von Fehlermodellen für eingebettete, verteilte Multi – Prozessorsysteme. Diese werden zu einem hierarchischen Netzwerk zur Steuerung von Flugzeugen (Avionik) verbunden und mehr und mehr im Automotive Bereich eingesetzt. Hier gilt es höchste Sicherheitsstandards einzuhalten und maximale Verfügbarkeit zu garantieren. Herr Fischer integriert die Modellierung von möglichen Fehlern in den Entwurfsprozess. Auf Grundlage des π-Kalküls entwickelt Herr Fischer ein formales Fehlermodell, das eine einheitliche Modellierung von Fehlerfällen unterstützt. Dabei werden interessante Bezüge zur Bi-Simulation sowie zu Methoden des Modell Checkings hergestellt. Die theoretischen Ergebnisse werden an einem komplexen Beispiel anschaulich illustriert. So kann der Leser die Mächtigkeit des entwickelten Ansatzes nachvollziehen und wird motiviert, die entwickelte Methodik auf weitere Anwendungsfälle zu übertragen. / The 4th volume of the scientific series Eingebettete, selbstorganisierende Systeme (Embedded Self-Organized Systems) outlines the design of fault models for embedded distributed multi processor systems. These multi processor systems will be connected to a hierarchical network to control airplanes (avionics) and also be used more and more in the automotive area. Here it is essential to meet highest safety standards and to ensure the maximum of availability. Mr Fischer integrates the modelling of potential faults into the design process. Based on the pi-calculus, he develops a formal framework, which supports a standardised modelling of faults. Thereby, interesting connections to the Bi-Simulation as well as to methods of the Model checking are established. The theoretical results are depicted on a complex example. So it is possible for the reader to understand the complexity of this approach and is motivated to use the developed methodology in other applications. I am glad that Mr Fischer publishes his important research in this scientific series.

Page generated in 0.0466 seconds