-
1
المؤلفون: Könighofer, B., Lorber, F., Jansen, N., Bloem, R., Margaria, T.
المساهمون: Margaria, T.
المصدر: Margaria, T. (ed.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I, 290-306. Cham : Springer
STARTPAGE=290;ENDPAGE=306;ISSN=0302-9743;TITLE=Margaria, T. (ed.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
Margaria, T. (ed.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I, pp. 290-306مصطلحات موضوعية: Software Science
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f12e12811d170ae524f72f46937077c5
http://hdl.handle.net/2066/225791 -
2
المؤلفون: Jansen, Nils, Könighofer, B., Junges, J.S.L., Serban, A.C., Bloem, R., Konnov, I.
المساهمون: Konnov, I.
المصدر: Konnov, I. (ed.), 31st International Conference on Concurrency Theory (CONCUR 2020), 3:1-3:16. Dagstuhl : Schloss Dagstuhl
STARTPAGE=3:1;ENDPAGE=3:16;ISSN=1868-8969;TITLE=Konnov, I. (ed.), 31st International Conference on Concurrency Theory (CONCUR 2020)
Konnov, I. (ed.), 31st International Conference on Concurrency Theory (CONCUR 2020), pp. 3:1-3:16مصطلحات موضوعية: Software Science, Digital Security
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7e3545ec60e2c4554efe4fb7feae925b
http://hdl.handle.net/2066/224966 -
3دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
4مؤتمر
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
5
المؤلفون: Alshiekh, M., Bloem, R., Ehlers, R., Könighofer, B., Niekum, S., Ufuk Topcu
المصدر: Scopus-Elsevier
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Learning, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, General Medicine, Logic in Computer Science (cs.LO), Machine Learning (cs.LG)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::34159e769af030f7f63971c8ed535cf3
-
6مؤتمر
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
7مؤتمر
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
8كتاب
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
9كتاب
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
10كتاب
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.