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

Description

Zugl.: Stuttgart, Universiẗat, Diss., 1993.

Links & Downloads

1. http://www.gbv.de/dms/ilmenau/toc/152775994.PDF

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/311943951
Date	January 1993
Creators	Bareiß, Reinhold.
Publisher	Düsseldorf : VDI-Verl.,
Source Sets	OCLC
Language	German
Detected Language	German
Source	Kostenfrei