المؤلفون: Könighofer, Bettina^{Aff1, Aff4, IDs11334022004804_cor1}, Rudolf, Julian, Palmisano, Alexander, Tappler, Martin^{Aff2, Aff3}, Bloem, Roderick

المصدر: Innovations in Systems and Software Engineering: A NASA Journal. 19(4):379-394

المؤلفون: Könighofer, Bettina, Rudolf, Julian, Palmisano, Alexander, Tappler, Martin, Bloem, Roderick

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2212.01861

المؤلفون: Könighofer, Bettina, Rudolf, Julian, Palmisano, Alexander, Tappler, Martin, Bloem, Roderick

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2012.09539

المؤلفون: Könighofer, Bettina^{Aff13, Aff15}, Rudolf, Julian^Aff13, Palmisano, Alexander^Aff13, Tappler, Martin^{Aff14, Aff15, Aff16}, Bloem, Roderick^Aff13

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Dutle, Aaron, editor^Aff8, Moscato, Mariano M., editor^Aff9, Titolo, Laura, editor^Aff10, Muñoz, César A., editor^Aff11, Perez, Ivan, editor^Aff12

المصدر: NASA Formal Methods : 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings. 12673:231-248

المؤلفون: Rudolf, Julian

مصطلحات موضوعية: ddc:616

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______2091::ea15c3ccacbf42a23c8138d451d2684c
https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/15095

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