Leveraging applications of formal methods, verification, and validation : International workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers /

Benzer Materyaller

• Leveraging applications of formal methods, verification, and validation 4th international symposium on leveraging applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /
  Baskı/Yayın Bilgisi: (2010)
• Leveraging applications of formal methods, verification, and validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I /
  Baskı/Yayın Bilgisi: (2010)
• Leveraging applications of formal methods, verification and validation. Technologies for mastering change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /
  Baskı/Yayın Bilgisi: (2012)
• Leveraging applications of formal methods, verification and validation. Applications and case studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /
  Baskı/Yayın Bilgisi: (2012)
• Theorie and applications of formal argumentation : First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers /
  Baskı/Yayın Bilgisi: (2012)