المؤلفون: Tronci, E., Mancini, T., Salvo, I., Sinisi, S., Mari, F., Melatti, I., Massini, A., Davi, F., Dierkes, T., Ehrig, R., Roblitz, S., Leeners, B., Kruger, T.H.C., Egli, M., Ille, F

المصدر: 2014 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2014. :207-214 Oct, 2014

Relation: 2014 Formal Methods in Computer-Aided Design (FMCAD)

المؤلفون: Calabrese, A., Mancini, T., Massini, A., Sinisi, S., Tronci, E.

مصطلحات موضوعية: AI global search, In silico clinical trials, Model checking, Simulation, VPH models

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3686::82318d63146b7626f323dffbad616f35
http://hdl.handle.net/11573/1359936

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

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

المؤلفون: Keystone, E., Kavanaugh, A., Heijde, D. van der, Sinisi, S., Guerette, B.

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2df3852c1dab248577f583005e5cfd4e
https://hdl.handle.net/1887/111688

المؤلفون: Keystone, E.C., Kavanaugh, A., Heijde, D. van der, Sinisi, S., Guerette, B.

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7ddd961c76ce42556e95c1d72ab3e953
https://hdl.handle.net/1887/116759

المؤلفون: Innamorati, Isabella, Sinisi, S.

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3666::0e0d1d4533d9845cc410b89199342917
http://hdl.handle.net/11386/1062311

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

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

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