Ein neues Verfahren zur dynamischen Untersuchung der Entwurfsspezifikation von Echtzeit-Systemen unter Einbeziehung eines Modells des technischen Prozesses
By: Eberhard Kurz
Contributors: Universität Stuttgart
Publisher: [s.n.]
Published: 1990
Place of publication: [s.l.]
Language: ger
Number of pages: 127
Notes: Thesis (doctoral)--Universität Stuttgart, 1990.