Cover Image

Verfahren zur Propagierung von Zeitbedingungen und zur formalen Verifikation des zeitlichen Verhaltens beim Entwurf von Automatisierungssystemen

Part of: Fortschrittberichte VDI : Reihe 20 ; 103
Author: Bareiß, Reinhold
Media Type: Doctoral Thesis
Thesis
Printed Book
Language: German
Published: Düsseldorf, VDI-Verl., 1993
Edition: Als Ms. gedr.
University Thesis: Zugl.: Stuttgart, Univ., Diss.
ISBN: 3-18-140320-2
Subjects:

Internet

Department Library of Electrical Engineering and Information Technology (Building 12)

Status Item Information Call Number Barcode Note Functions
available 2 weeks lendable EIT 960/057 107324777