Ein Fachband, der die Erkenntnisse der FORTE‑2003-Konferenz zu formalen Techniken für vernetzte und verteilte Systeme zusammenfasst; er beleuchtet theoretische Grundlagen, Modellierungsmethoden und praktische Anwendungen in einem klar strukturierten Werk.