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

Medientyp: Buch; Hochschulschrift
Titel: Verfahren zur Propagierung von Zeitbedingungen und zur formalen Verifikation des zeitlichen Verhaltens beim Entwurf von Automatisierungssystemen
Beteiligte: Bareiß, Reinhold [VerfasserIn]
Erschienen: Düsseldorf: VDI-Verl., 1993
Weitere Titel: Nebensacht.: Verfikation von Zeitbedingungen
Erschienen in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI / 20 ; 10300
Ausgabe: Als Ms. gedr.
Umfang: 183 S.; graph. Darst; 21 cm
Sprache: Deutsch
ISBN: 3181403202
RVK-Notation: ST 620 : Technik
Schlagwörter: Automatisierungssystem > Echtzeitsystem > Softwareentwicklung
Entstehung:
Hochschulschrift: Zugl.: Stuttgart, Univ., Diss., 1993
Anmerkungen:
Weitere Bestandsnachweise
0 : Fortschritt-Berichte VDI / 20

Verfahren zur Propagierung von Zeitbedingungen und zur formalen Verifikation des zeitlichen Verhaltens beim Entwurf von Automatisierungssystemen - [Als Ms. gedr.]