-
1مؤتمر
المؤلفون: Kremer, S., Raskin, J.-F.
المصدر: Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15 Computer security foundations workshop Computer Security Foundations Workshop, 2002. Proceedings. 15th IEEE. :206-220 2002
Relation: Proceedings 15th IEEE Computer Security Foundations Workshop CSFW-15
-
2كتاب إلكتروني
المؤلفون: De Wulf, M.Aff1, Doyen, L.Aff2, Maquet, N.Aff1, Raskin, J. -F.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, Ramakrishnan, C. R., editor, Rehof, Jakob, editor
المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. 4963:63-77
-
3كتاب إلكتروني
المؤلفون: De Wulf, M.Aff18, Doyen, L.Aff18, Henzinger, T. A.Aff19, Aff20, Raskin, J. -F.Aff18
المساهمون: 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, Dough, editorAff13, Vardi, Moshe Y., editorAff14, Weikum, Gerhard, editorAff15, Ball, Thomas, editorAff16, Jones, Robert B., editorAff17
المصدر: Computer Aided Verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings. 4144:17-30
-
4دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
5كتاب إلكتروني
المؤلفون: Henzinger, T. A.Aff1, Raskin, J.-F.Aff1, Schobbens, P.-Y.Aff2
المساهمون: Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Larsen, Kim G., editor, Skyum, Sven, editor, Winskel, Glynn, editor
المصدر: Automata, Languages and Programming : 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings. 1443:580-591
-
6كتاب إلكتروني
المؤلفون: Raskin, J. -F.Aff1, Schobbens, P. -Y.Aff1, Henzinger, T. A.Aff2
المساهمون: Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Sangiorgi, Davide, editor, de Simone, Robert, editor
المصدر: CONCUR'98 Concurrency Theory : 9th International Conference Nice, France, September 8–11, 1998 Proceedings. 1466:219-236
-
7دورية أكاديمية
المؤلفون: Brim, L., Chaloupka, J., Doyen, L., Gentilini, R., Raskin, J. F.
المصدر: Formal Methods in System Design: An International Journal. April 2011 38(2):97-118
-
8دورية أكاديمية
المؤلفون: Finkel, A., Geeraerts, G., Raskin, J.-F., Van Begin, L.
المصدر: In Theoretical Computer Science 2006 356(3):374-386
-
9
المؤلفون: Jongmans, S.S.T.Q., Arbab, F., Chechik, M., Raskin, J.-F.
المساهمون: Chechik, M., Raskin, J.-F.
المصدر: Chechik, M.; Raskin, J.-F. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, 547-552. Berlin, Heidelberg : Springer Berlin Heidelberg
STARTPAGE=547;ENDPAGE=552;ISSN=0302-9743;TITLE=Chechik, M.; Raskin, J.-F. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Chechik, M.; Raskin, J.-F. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 547-552مصطلحات موضوعية: Digital Security
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::021dad1fcbd0790626b6a34f027a54cb
https://hdl.handle.net/2066/161311 -
10دورية أكاديمية
المؤلفون: Raskin, J.-F., Samuelides, M., Van Begin, L.
المصدر: In Electronic Notes in Theoretical Computer Science 23 May 2005 128(6):69-85