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

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

المؤلفون: De Wulf, M.^Aff18, Doyen, L.^Aff18, Henzinger, T. A.^{Aff19, Aff20}, Raskin, J. -F.^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, Dough, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Ball, Thomas, editor^Aff16, Jones, Robert B., editor^Aff17

المصدر: Computer Aided Verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings. 4144:17-30

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

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

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

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

المؤلفون: Finkel, A., Geeraerts, G., Raskin, J.-F., Van Begin, L.

المصدر: In Theoretical Computer Science 2006 356(3):374-386

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

المؤلفون: Raskin, J.-F., Samuelides, M., Van Begin, L.

المصدر: In Electronic Notes in Theoretical Computer Science 23 May 2005 128(6):69-85