Advanced Search

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II /

Detail CantumanXML DetailCite

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I /

Detail CantumanXML DetailCite
Leveraging Applications of Formal Methods, Verification, and ValidationInternational Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers /

Leveraging Applications of Formal Methods, Verification, and ValidationInternational Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers /

Detail CantumanXML DetailCite
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /

Detail CantumanXML DetailCite
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /

Detail CantumanXML DetailCite

Hasil Pencarian

Ditemukan 5 dari pencarian Anda melalui kata kunci: Author : "Steffen, Bernhard."
Permintaan membutuhkan 3.90244 detik untuk selesai
XML ResultJSON Result