威尼斯赌博游戏_威尼斯赌博app-【官网】

图片

威尼斯赌博游戏_威尼斯赌博app-【官网】

图片

Funktionale Modellierung verteilter Systeme (ruhend)

Projektstart: 01.01.1990


Projektende:?31.12.1992

?

Laufzeit: 01.01.1990 - 31.12.1992

?

Projekttr?ger: Universit?t Augsburg

?

Projektverantwortung vor Ort: Prof. Dr. Bernhard M?ller (Leiter)

?

Beteiligte WissenschaftlerInnen / Kooperationen: Prof. Dr. Manfred Broy (TU München), Prof. Dr. Walter Dosch (ehemals Universit?t Augsburg), Prof. Dr. Carlos Delgado Kloos (Universidad Carlos III de Madrid)

?

?

Zusammenfassung

Die Arbeiten zielten auf die Erstellung eines formalen, auf funktionale Beschreibungstechniken gegründeten Entwurfsrahmens, innerhalb dessen verteilte Systeme systematisch entwickelt werden k?nnen. Besondere Berücksichtigung fand dabei der Schaltwerksentwurf.

Suche