المؤلفون: Johannsen, Chris^Aff9, Nukala, Karthik^Aff10, Dureja, Rohit^Aff11, Irfan, Ahmed^Aff10, Shankar, Natarajan^Aff10, Tinelli, Cesare^Aff12, Vardi, Moshe Y.^Aff13, Rozier, Kristin Yvonne^Aff9

المساهمون: Goos, Gerhard, Series 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, Yung, Moti, Editorial Board Member^Aff6, Gurfinkel, Arie, editor^Aff7, Ganesh, Vijay, editor^Aff8

المصدر: Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I. 14681:203-218

المؤلفون: 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)

المؤلفون: Johannsen, Chris^Aff9, Kempa, Brian^Aff9, Jones, Phillip H.^Aff9, Rozier, Kristin Y.^Aff9, Wongpiromsarn, Tichakorn^Aff9

المساهمون: 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, Yung, Moti, Editorial Board Member^Aff6, Cimatti, Alessandro, editor^Aff7, Titolo, Laura, editor^Aff8

المصدر: Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings. 14290:151-169

المؤلفون: Johannsen, Chris^Aff9, Jones, Phillip^Aff9, Kempa, Brian^Aff9, Rozier, Kristin Yvonne^Aff9, Zhang, Pei^Aff10

المساهمون: 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, Yung, Moti, Editorial Board Member^Aff6, Enea, Constantin, editor^Aff7, Lal, Akash, editor^Aff8

المصدر: Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III. 13966:483-497

المؤلفون: Rochon, Gilbert L.^Aff4, Johannsen, Chris J.^Aff5, Landgrebe, David A.^Aff6, Engel, Bernard A.^Aff7, Harbor, Jonathan M.^Aff6, Majumder, Sarada^Aff8, Biehl, Larry L.^Aff9

المساهمون: Sikdar, Subhas K., editor^Aff1, Glavič, Peter, editor^Aff2, Jain, Ravi, editor^Aff3

المصدر: Technological Choices for Sustainability. :415-428

المؤلفون: 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

المؤلفون: 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

المؤلفون: 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

المؤلفون: Johannsen, Chris J

مصطلحات موضوعية: Earth Resources And Remote Sensing

URL الوصول: https://ntrs.nasa.gov/citations/19980003291

المؤلفون: Johannsen, Chris J, Fernandez, R. Norberto, Lozano-Garcia, D. Fabian

مصطلحات موضوعية: Earth Resources And Remote Sensing

URL الوصول: https://ntrs.nasa.gov/citations/19920024984