يعرض 1 - 10 نتائج من 157 نتيجة بحث عن '"A. Asirelli"', وقت الاستعلام: 1.34s تنقيح النتائج
  1. 1
    مؤتمر

    المصدر: 2011 15th International Software Product Line Conference Software Product Line Conference (SPLC), 2011 15th International. :130-139 Aug, 2011

    Relation: 2011 15th International Software Product Line Conference (SPLC)

  2. 2
  3. 3
    مؤتمر

    المصدر: Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on. :194-199 1992

    Relation: Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering

  4. 4
    دورية أكاديمية
  5. 5
    كتاب إلكتروني

    المؤلفون: Asirelli, PatriziaAff18, ter Beek, Maurice H.Aff18, Fantechi, AlessandroAff18, Aff19, Gnesi, StefaniaAff18

    المساهمون: 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, Aff17, Sudan, Madhu, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Doug, editorAff13, Vardi, Moshe Y., editorAff14, Weikum, Gerhard, editorAff15, Margaria, Tiziana, editorAff16

    المصدر: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. 7609:146-161

  6. 6
    كتاب إلكتروني

    المؤلفون: Asirelli, PatriziaAff18, ter Beek, Maurice H.Aff18, Fantechi, AlessandroAff18, Aff19, Gnesi, StefaniaAff18

    المساهمون: 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, Bruni, Roberto, editorAff16, Dingel, Juergen, editorAff17

    المصدر: Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings. 6722:44-58

  7. 7
    كتاب إلكتروني

    المؤلفون: Asirelli, PatriziaAff17, ter Beek, Maurice H.Aff17, Fantechi, AlessandroAff17, Aff18, Gnesi, StefaniaAff17

    المساهمون: 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, Méry, Dominique, editorAff16, Merz, Stephan, editorAff16

    المصدر: Integrated Formal Methods : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings. 6396:43-58

  8. 8
    دورية أكاديمية
  9. 9
    كتاب إلكتروني

    المؤلفون: Asirelli, PatriziaAff3, Fabbrini, FabrizioAff3

    المساهمون: van Biene-Hershey, Margaret E., editorAff1, Strous, Leon, editorAff2

    المصدر: Integrity and Internal Control in Information Systems : Strategic Views on the Need for Control. 37:99-110

  10. 10
    كتاب إلكتروني

    المؤلفون: Asirelli, PatriziaAff5, Renso, ChiaraAff6, Turini, FrancoAff6

    المساهمون: Jajodia, Sushil, editorAff1, List, William, editorAff2, McGregor, Graeme W., editorAff3, Strous, Leon A. M., editorAff4

    المصدر: Integrity and Internal Control in Information Systems : IFIP TC11 Working Group 11.5 Second Working Conference on Integrity and Internal Control in Information Systems: Bridging Business Requirements and Research Results Warrenton, Virginia, USA November 19–20, 1998. 9:41-55