-
1كتاب إلكتروني
المؤلفون: Johannsen, ChrisAff9, Nukala, KarthikAff10, Dureja, RohitAff11, Irfan, AhmedAff10, Shankar, NatarajanAff10, Tinelli, CesareAff12, Vardi, Moshe Y.Aff13, Rozier, Kristin YvonneAff9
المساهمون: Goos, Gerhard, Series EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Gurfinkel, Arie, editorAff7, Ganesh, Vijay, editorAff8
المصدر: Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I. 14681:203-218
-
2مؤتمر
المؤلفون: Johannsen, Chris, Anderson, Marcella, Burken, William, Diersen, Ellie, Edgren, John, Glick, Colton, Jou, Stephanie, Kumar, Adhyaksh, Levandowski, John, Moyer, Evelyn, Roquet, Taylor, VandeLoo, Alexander, Rozier, Kristin Yvonne
المصدر: 2021 International Conference on Unmanned Aircraft Systems (ICUAS) Unmanned Aircraft Systems (ICUAS), 2021 International Conference on. :1449-1458 Jun, 2021
Relation: 2021 International Conference on Unmanned Aircraft Systems (ICUAS)
-
3كتاب إلكتروني
المؤلفون: Johannsen, ChrisAff9, Kempa, BrianAff9, Jones, Phillip H.Aff9, Rozier, Kristin Y.Aff9, Wongpiromsarn, TichakornAff9
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Cimatti, Alessandro, editorAff7, Titolo, Laura, editorAff8
المصدر: Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings. 14290:151-169
-
4كتاب إلكتروني
المؤلفون: Johannsen, ChrisAff9, Jones, PhillipAff9, Kempa, BrianAff9, Rozier, Kristin YvonneAff9, Zhang, PeiAff10
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Enea, Constantin, editorAff7, Lal, Akash, editorAff8
المصدر: Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III. 13966:483-497
-
5كتاب إلكتروني
المؤلفون: Rochon, Gilbert L.Aff4, Johannsen, Chris J.Aff5, Landgrebe, David A.Aff6, Engel, Bernard A.Aff7, Harbor, Jonathan M.Aff6, Majumder, SaradaAff8, Biehl, Larry L.Aff9
المساهمون: Sikdar, Subhas K., editorAff1, Glavič, Peter, editorAff2, Jain, Ravi, editorAff3
المصدر: Technological Choices for Sustainability. :415-428
-
6دورية أكاديمية
المؤلفون: Reagan, Michael J., Rowlett, Ralph M., Garrison, Ervan G., Dort,, Wakefield, Bryant,, Vaughn M., Johannsen, Chris J.
المصدر: Science, 1978 Jun . 200(4347), 1272-1275.
URL الوصول: https://www.jstor.org/stable/1747007
-
7دورية أكاديمية
المؤلفون: Kempa, Brian, Johannsen, Chris, Rozier, Kristin Yvonne
المصدر: Ada User Journal; Sep2022, Vol. 43 Issue 3, p151-154, 4p
مصطلحات موضوعية: TRUST, SOFTWARE verification, SYSTEMS development, CATIONS
الشركة/الكيان: UNITED States. National Aeronautics & Space Administration
-
8دورية أكاديمية
المؤلفون: Rochon, Gilbert L., Johannsen, Chris J., Landgrebe, David A., Engel, Bernard A., Harbor, Jonathan M., Majumder, Sarada, Biehl, Larry L.
المصدر: Clean Technologies and Environmental Policy. October 2003 5(3-4):310-316
-
9تقرير
المؤلفون: Johannsen, Chris J
مصطلحات موضوعية: Earth Resources And Remote Sensing
URL الوصول: https://ntrs.nasa.gov/citations/19980003291
-
10