Hochschulschrift

Automatische Herleitung von effektiven Testsequenzen aus LOTOS-Spezifikationen mittels Fehlermodellen

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783826517686
3826517687
Dimensions
21 cm
Extent
III, 140 S.
Edition
Als Ms. gedr.
Language
Deutsch
Notes
graph. Darst.
Zugl.: München, Techn. Univ., Diss., 1995

Keyword
LOTOS
Kommunikationsprotokoll
Testmustergenerierung

Event
Veröffentlichung
(where)
Aachen
(who)
Shaker
(when)
1996
Creator

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.06.2025, 2:04 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Object type

  • Hochschulschrift

Associated

Time of origin

  • 1996

Other Objects (12)