المؤلفون: Bryans, Jeremy W., Fitzgerald, John S., Jones, Cliff B., Mozolevsky, Igor

المصدر: 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

المؤلفون: Antonino, Pedro R. G.^Aff17, Oliveira, Marcel Medeiros^Aff18, Sampaio, Augusto C. A.^Aff17, Kristensen, Klaus E.^Aff19, Bryans, Jeremy W.^Aff20

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Kobsa, Alfred, editor^Aff5, Mattern, Friedemann, editor^Aff6, Mitchell, John C., editor^Aff7, Naor, Moni, editor^Aff8, Nierstrasz, Oscar, editor^Aff9, Pandu Rangan, C., editor^Aff10, Steffen, Bernhard, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Weikum, Gerhard, editor^Aff14, Badger, Julia M., editor^Aff15, Rozier, Kristin Yvonne, editor^Aff16

المصدر: NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings. 8430:31-45

المؤلفون: Bryans, Jeremy W.^Aff18, Koutny, Maciej^Aff18, Mu, Chunyan^Aff18

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Palamidessi, Catuscia, editor^Aff16, Ryan, Mark D., editor^Aff17

المصدر: Trustworthy Global Computing : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers. 8191:145-163

المؤلفون: Bryans, Jeremy W.^Aff4, Fitzgerald, John S.^Aff4, McCutcheon, Tom^Aff5

المساهمون: Camarinha-Matos, Luis M., editor^Aff1, Pereira-Klen, Alexandra, editor^Aff2, Afsarmanesh, Hamideh, editor^Aff3

المصدر: 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

المؤلفون: Bryans, Jeremy W.^Aff18

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Qin, Shengchao, editor^Aff16, Qiu, Zongyan, editor^Aff17

المصدر: Formal Methods and Software Engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings. 6991:553-568

المؤلفون: Bryans, Jeremy W.^Aff18, Wei, Wei^Aff19

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Kowalewski, Stefan, editor^Aff16, Roveri, Marco, editor^Aff17

المصدر: Formal Methods for Industrial Critical Systems : 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings. 6371:33-49

المؤلفون: 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

المؤلفون: Bryans, Jeremy W.^Aff20, Koutny, Maciej^Aff20, Mazaré, Laurent^Aff21, Ryan, Peter Y. A.^Aff20

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Dough, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Dimitrakos, Theo, editor^Aff16, Martinelli, Fabio, editor^Aff17, Ryan, Peter Y. A., editor^Aff18, Schneider, Steve, editor^Aff19

المصدر: 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

المؤلفون: Bryans, Jeremy W.^Aff3, Koutny, Maciej^Aff3, Ryan, Peter Y.A.^Aff3

المساهمون: Dimitrakos, Theo, editor^Aff1, Martinelli, Fabio, editor^Aff2

المصدر: 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

المؤلفون: Bryans, Jeremy W., Koutny, Maciej, Mazaré, Laurent, Ryan, Peter Y. A.

المصدر: International Journal of Information Security. November 2008 7(6):421-435