Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Formale Spezifikation und dynamische Analyse verteilter Systeme mit Produktnetzen

 
: Ochsenschläger, P.; Prinoth, R.

Gerner, N.; Hegering, H.-G. ; Informationstechnische Gesellschaft -ITG-:
Kommunikation in verteilten Systemen : ITG/GI-Fachtagung, München, 3.-5. März 1993
Berlin: Springer, 1993
ISBN: 3-540-56482-9
ISBN: 0-387-56482-9
S.456-470
Fachtagung Kommunikation in Verteilten Systemen <8, 1993, München>
Deutsch
Konferenzbeitrag
Fraunhofer SIT ()
formale Spezifikation; verteilte Systeme; Analyse

: http://publica.fraunhofer.de/dokumente/N-41260.html