-
1مؤتمر
المصدر: Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on. :91-98 Nov, 2006
Relation: Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
-
2كتاب إلكتروني
المؤلفون: Antonino, Pedro R. G.Aff17, Oliveira, Marcel MedeirosAff18, Sampaio, Augusto C. A.Aff17, Kristensen, Klaus E.Aff19, Bryans, Jeremy W.Aff20
المساهمون: Hutchison, David, editorAff1, Kanade, Takeo, editorAff2, Kittler, Josef, editorAff3, Kleinberg, Jon M., editorAff4, Kobsa, Alfred, editorAff5, Mattern, Friedemann, editorAff6, Mitchell, John C., editorAff7, Naor, Moni, editorAff8, Nierstrasz, Oscar, editorAff9, Pandu Rangan, C., editorAff10, Steffen, Bernhard, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Doug, editorAff13, Weikum, Gerhard, editorAff14, Badger, Julia M., editorAff15, Rozier, Kristin Yvonne, editorAff16
المصدر: NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings. 8430:31-45
-
3كتاب إلكتروني
المؤلفون: Bryans, Jeremy W.Aff18, Koutny, MaciejAff18, Mu, ChunyanAff18
المساهمون: Hutchison, David, editorAff1, Kanade, Takeo, editorAff2, Kittler, Josef, editorAff3, Kleinberg, Jon M., editorAff4, Mattern, Friedemann, editorAff5, Mitchell, John C., editorAff6, Naor, Moni, editorAff7, Nierstrasz, Oscar, editorAff8, Pandu Rangan, C., editorAff9, Steffen, Bernhard, editorAff10, Sudan, Madhu, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Doug, editorAff13, Vardi, Moshe Y., editorAff14, Weikum, Gerhard, editorAff15, Palamidessi, Catuscia, editorAff16, Ryan, Mark D., editorAff17
المصدر: Trustworthy Global Computing : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers. 8191:145-163
-
4كتاب إلكتروني
المؤلفون: Bryans, Jeremy W.Aff4, Fitzgerald, John S.Aff4, McCutcheon, TomAff5
المساهمون: Camarinha-Matos, Luis M., editorAff1, Pereira-Klen, Alexandra, editorAff2, Afsarmanesh, Hamideh, editorAff3
المصدر: Adaptation and Value Creating Collaborative Networks : 12th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2011, São Paulo, Brazil, October 17-19, 2011. Proceedings. 362:314-321
-
5كتاب إلكتروني
المؤلفون: Bryans, Jeremy W.Aff18
المساهمون: Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Nierstrasz, Oscar, Series editorAff8, Pandu Rangan, C., Series editorAff9, Steffen, Bernhard, Series editorAff10, Sudan, Madhu, Series editorAff11, Terzopoulos, Demetri, Series editorAff12, Tygar, Doug, Series editorAff13, Vardi, Moshe Y., Series editorAff14, Weikum, Gerhard, Series editorAff15, Qin, Shengchao, editorAff16, Qiu, Zongyan, editorAff17
المصدر: Formal Methods and Software Engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings. 6991:553-568
-
6كتاب إلكتروني
المؤلفون: Bryans, Jeremy W.Aff18, Wei, WeiAff19
المساهمون: Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Nierstrasz, Oscar, Series editorAff8, Pandu Rangan, C., Series editorAff9, Steffen, Bernhard, Series editorAff10, Sudan, Madhu, Series editorAff11, Terzopoulos, Demetri, Series editorAff12, Tygar, Doug, Series editorAff13, Vardi, Moshe Y., Series editorAff14, Weikum, Gerhard, Series editorAff15, Kowalewski, Stefan, editorAff16, Roveri, Marco, editorAff17
المصدر: Formal Methods for Industrial Critical Systems : 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings. 6371:33-49
-
7كتاب إلكتروني
المؤلفون: Bryans, Jeremy W.Aff1, Fitzgerald, John S.Aff1
المساهمون: Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Butler, Michael, editor, Hinchey, Michael G., editor, Larrondo-Petrie, María M., editor
المصدر: Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings. 4789:37-56
-
8كتاب إلكتروني
المؤلفون: Bryans, Jeremy W.Aff20, Koutny, MaciejAff20, Mazaré, LaurentAff21, Ryan, Peter Y. A.Aff20
المساهمون: Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Nierstrasz, Oscar, Series editorAff8, Pandu Rangan, C., Series editorAff9, Steffen, Bernhard, Series editorAff10, Sudan, Madhu, Series editorAff11, Terzopoulos, Demetri, Series editorAff12, Tygar, Dough, Series editorAff13, Vardi, Moshe Y., Series editorAff14, Weikum, Gerhard, Series editorAff15, Dimitrakos, Theo, editorAff16, Martinelli, Fabio, editorAff17, Ryan, Peter Y. A., editorAff18, Schneider, Steve, editorAff19
المصدر: Formal Aspects in Security and Trust : Thrid International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers. 3866:81-95
-
9كتاب إلكتروني
المؤلفون: Bryans, Jeremy W.Aff3, Koutny, MaciejAff3, Ryan, Peter Y.A.Aff3
المساهمون: Dimitrakos, Theo, editorAff1, Martinelli, Fabio, editorAff2
المصدر: Formal Aspects in Security and Trust : IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France. 173:159-172
-
10دورية أكاديمية
المؤلفون: Bryans, Jeremy W., Koutny, Maciej, Mazaré, Laurent, Ryan, Peter Y. A.
المصدر: International Journal of Information Security. November 2008 7(6):421-435