-
1كتاب
المؤلفون: Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Bošnački, Dragan, Edelkamp, Stefan, Lluch Lafuente, Alberto
المصدر: Model Checking Software (9783540733690); 2007, p223-242, 20p
-
2كتاب
المؤلفون: Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Bošnački, Dragan, Edelkamp, Stefan, Pelánek, Radek
المصدر: Model Checking Software (9783540733690); 2007, p263-267, 5p
-
3كتاب
المؤلفون: Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Bošnački, Dragan, Edelkamp, Stefan, del Mar Gallardo, María, Joubert, Christophe, Merino, Pedro
المصدر: Model Checking Software (9783540733690); 2007, p268-273, 6p
-
4كتاب
المؤلفون: Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Bošnački, Dragan, Edelkamp, Stefan, Chaudhuri, Swarat, Alur, Rajeev
المصدر: Model Checking Software (9783540733690); 2007, p279-283, 5p
-
5كتاب
المؤلفون: Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Bošnački, Dragan, Edelkamp, Stefan, de la Cámara, Pedro, del Mar Gallardo, María, Merino, Pedro
المصدر: Model Checking Software (9783540733690); 2007, p243-262, 20p
-
6كتاب
المؤلفون: Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Bošnački, Dragan, Edelkamp, Stefan, Nassim Seghir, Mohamed, Podelski, Andreas
المصدر: Model Checking Software (9783540733690); 2007, p274-278, 5p
-
7كتاب
المؤلفون: Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Bošnački, Dragan, Edelkamp, Stefan, Barnat, Jiří, Brim, Luboš, Ročkai, Petr
المصدر: Model Checking Software (9783540733690); 2007, p187-203, 17p
-
8كتاب
المؤلفون: Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Bošnački, Dragan, Edelkamp, Stefan, Traulsen, Claus, Cornet, Jérôme, Moy, Matthieu
المصدر: Model Checking Software (9783540733690); 2007, p204-222, 19p
-
9كتاب
المؤلفون: Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Weikum, Gerhard, Bošnački, Dragan, Edelkamp, Stefan, Rozier, Kristin Y., Vardi, Moshe Y.
المصدر: Model Checking Software (9783540733690); 2007, p149-167, 19p
-
10كتاب
المؤلفون: Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Bošnački, Dragan, Edelkamp, Stefan, Weber, Michael
المصدر: Model Checking Software (9783540733690); 2007, p168-186, 19p