المؤلفون: Di Guglielmo, L., Fummi, F., Pravadelli, G.

المصدر: 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design Formal Methods and Models for Co-Design, 2008. MEMOCODE 2008. 6th ACM/IEEE International Conference on. :27-36 Jun, 2008

Relation: 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE '08)

المؤلفون: Di Guglielmo, L., Montemartini, C.

المساهمون: Diethelm, L., editor^Aff1, Heuck, F., editor^Aff2, Olsson, O., editor^Aff3, Ranniger, K., editor^Aff4, Strnad, F., editor^Aff5, Vieten, Heinz, editor^{Aff6, Aff17}, Zuppinger, A., editor^Aff7, Anacker, H.^Aff8, Di Guglielmo, L.^Aff9, Dühmke, E.^Aff10, Felix, R.^Aff11, Gremmel, H.^Aff10, Hoeffken, W.^Aff12, Montemartini, C.^Aff9, Rossi, E.^Aff13, Schölmerich, P.^Aff14, Schoenmackers, J.^Aff15, Schulte-Brinkmann, W.^Aff16

المصدر: Röntgendiagnostik des Herzens und der Gefässe / Roentgen Diagnosis of the Heart and Blood Vessels. 10 / 2 / 2b:115-128

المؤلفون: Di Guglielmo, L., Montemartini, C.

المساهمون: Diethelm, L., editor^Aff1, Heuck, F., editor^Aff2, Olsson, O., editor^Aff3, Ranniger, K., editor^Aff4, Strnad, F., editor^Aff5, Vieten, Heinz, editor^{Aff6, Aff17}, Zuppinger, A., editor^Aff7, Anacker, H.^Aff8, Di Guglielmo, L.^Aff9, Dühmke, E.^Aff10, Felix, R.^Aff11, Gremmel, H.^Aff10, Hoeffken, W.^Aff12, Montemartini, C.^Aff9, Rossi, E.^Aff13, Schölmerich, P.^Aff14, Schoenmackers, J.^Aff15, Schulte-Brinkmann, W.^Aff16

المصدر: Röntgendiagnostik des Herzens und der Gefässe / Roentgen Diagnosis of the Heart and Blood Vessels. 10 / 2 / 2b:129-176

المؤلفون: Di Guglielmo, L.

المصدر: La radiologia medica: Official Journal of the Italian Society of Medical Radiology. September 2006 111(6):876-877

المؤلفون: Di Guglielmo, L.^Aff2, Villa, A.^Aff2, Biazzi, L.^Aff2

المساهمون: Guzzardi, Riccardo, editor^Aff1

المصدر: Physics and Engineering of Medical Imaging. 119:218-230

المؤلفون: Boni, M.^Aff3, di Guglielmo, L.^Aff3, Denaro, V.^Aff3, Vadala, G.^Aff3

المساهمون: Kehr, Pierre, editor^Aff1, Weidner, Andreas, editor^Aff2

المصدر: Cervical Spine I : Strasbourg 1985. :124-130

Degree: M.D.

المؤلفون: Di Guglielmo, L.

المصدر: La radiologia medica: Official Journal of the Italian Society of Medical Radiology. June 2006 111(4):619-619

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

المؤلفون: Di Guglielmo, G., Di Guglielmo, L., Fummi, F., Graziano PRAVADELLI

المصدر: Scopus-Elsevier

مصطلحات موضوعية: dynamic assertion-based verification, embedded software, model-driven design

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::45a64a031c6d74ed1fb5cc1846de28a5
https://doi.org/10.1109/date.2012.6176430

المؤلفون: Autori Vari (a cura di Guglielmo L. e Conversano F.)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=cnr_________::be296c174690e503d7f8edd961f991a7
http://www.cnr.it/prodotto/i/269095