-
1مؤتمر
المؤلفون: 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)
-
2
المؤلفون: 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 -
3دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
4مؤتمر
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
5
-
6
-
7
-
8دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
9دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
10مؤتمر
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.