NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings / 订购中 (含光盘)

著者: Havelund Klaus. Holzmann Gerard J. Joshi Rajeev.

出版社: Springer Berlin Heidelberg,   出版日期: 2011.

文献类型: 非书资料 , 索书号:

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings / 订购中 (含光盘)

著者: Falcone Ylies. Finkbeiner Bernd. Havelund Klaus. Lee Insup. Pace Gordon. Ro艧u Grigore. Sokolsky Oleg. Tillmann Nikolai.

出版社: Springer Berlin Heidelberg,   出版日期: 2010.

文献类型: 非书资料 , 索书号:

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings / 订购中 (含光盘)

著者: Majumdar Rupak. Palsberg Jens.

出版社: Springer Berlin Heidelberg,   出版日期: 2008.

文献类型: 非书资料 , 索书号:

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers 订购中 (含光盘)

著者: N煤nez Manuel Rosu Grigore Wolff Burkhart

出版社: Springer-Verlag GmbH.,   出版日期: 2006

文献类型: 非书资料 , 索书号: