Suchergebnisse

6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22 - 27, 2006. Marco Bernardo ... (ed.)

WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Daniel Leivant ... (eds.)

Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Alexandre Petrenko ... (eds.)

ATVA 2006, Beijing, China, October 23 - 26, 2006. Susanne Graf ... (eds.)

ATVA 2008, Seoul, Korea, October 20 - 23, 2008. Sungdeok (Steve) Cha ... (ed.)

ATVA 2007, Tokyo, Japan, October 22 - 25, 2007. Kedar S. Namjoshi ... (Eds.)

ATVA 2005, Taipei, Taiwan, October 4 - 7, 2005. Doron A. Peled ... (ed.)

ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Farn Wang (ed.)

CHARME 2001, Livingston, Scotland, UK, September 4 - 7, 2001. T. Margaria ... (ed.)

CHARME 2003, L'Aquila, Italy, October 21 - 24, 2003. Daniel Geist ... (ed.)

CHARME 2005, Saarbrücken, Germany, October 3 - 6, 2005. Dominique Borrione ... (ed.)

edited by Farn Wang

edited by Dominique Borrione, Wolfgang Paul

edited by Doron A. Peled, Yih-Kuen Tsay

edited by Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura

edited by Laurence Pierre, Thomas Kropf

edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan

edited by Susanne Graf, Wenhui Zhang

edited by Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann

edited by Daniel Leivant, Ruy Queiroz