-
1تقرير
-
2
-
3دورية أكاديمية
المؤلفون: Könighofer, BettinaAff1, Aff4, IDs11334022004804_cor1, Rudolf, Julian, Palmisano, Alexander, Tappler, MartinAff2, Aff3, Bloem, Roderick
المصدر: Innovations in Systems and Software Engineering: A NASA Journal. 19(4):379-394
-
4تقرير
المؤلفون: Könighofer, Bettina, Rudolf, Julian, Palmisano, Alexander, Tappler, Martin, Bloem, Roderick
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2012.09539
-
5تقرير
-
6كتاب إلكتروني
المؤلفون: Könighofer, BettinaAff13, Aff15, Rudolf, JulianAff13, Palmisano, AlexanderAff13, Tappler, MartinAff14, Aff15, Aff16, Bloem, RoderickAff13
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Dutle, Aaron, editorAff8, Moscato, Mariano M., editorAff9, Titolo, Laura, editorAff10, Muñoz, César A., editorAff11, Perez, Ivan, editorAff12
المصدر: NASA Formal Methods : 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings. 12673:231-248