Subproject A6
 
 
 

Survey
Research
Cooperations
Literature
People
Links
Contact

The Sonderforschungsbereich SFB 342 Tour


---


Subproject A6

Distributed Systems Design Methodology

---

Further information on formal development methods in general and distributed systems in particular can be found in

• WWW Virtual Library: Formal Methods or 
• WWW Virtual Library: Concurrent Systems. 
Further information concering the project context of the project members are contained in the research activities of the
• Lehrstuhl IV für Programmiermethoden und verteilte Systeme
The Sonderforschungsbereich is financed by
• Deutsche Forschungsgemeinschaft

---