A Process Algebraic Approach to Software Architecture Design /

Lignende værker

• Formal Methods for the Design of Real-Time Systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures /
  af: Marco Bernardo, Flavio Corradini
  Udgivet: (2004, c2004)
• Software Architecture : First European Conference, ECSA 2007, Madrid, Spain, September 24-26, 2007, Proceedings /
  af: Flavio Oquendo
  Udgivet: (2007, c2007)
• Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures /
  af: Marco Bernardo, Paola Inverardi
  Udgivet: (2003, c2003)
• Software Architecture : 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings /
  af: Ron Morrison, Flavio Oquendo
  Udgivet: (2005, c2005)
• Software Architecture : Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers /
  af: Volker Gruhn, Flavio Oquendo
  Udgivet: (2006, c2006)