FORSOFT

BAYERISCHER FORSCHUNGSVERBUND SOFTWARE-ENGINEERING

Logo FORSOFT

Formale Entwicklung verteilter reaktiver Systeme mit Focus

21.02.2018

M. Breitling, U. Hinkel, K. Spies 8. Gi/ITG-Fachgespräch "Formale Beschreibungstechniken für Verteilte Systeme", Hrsg.: Hartmur König, Peter Langendörfer, Shaker Verlag, cottbus

Informationen

Gründungsdatum

02.2000

Ende

01.2003

Gefördert durch

Bayerische Forschungsstiftung