المؤلفون: Lesage, Benjamin, Boniol, Frédéric, Pagetti, Claire

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

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

المؤلفون: Lesage, Benjamin, Boniol, Frédéric, Delmas, Kevin, Gauffriau, Adrien, Gonzalez, Alfonso Mascarenas, Pagetti, Claire

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

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

المؤلفون: Gleirscher, Mario, Calinescu, Radu, Douthwaite, James, Lesage, Benjamin, Paterson, Colin, Aitken, Jonathan, Alexander, Rob, Law, James

مصطلحات موضوعية: Computer Science - Robotics, Computer Science - Human-Computer Interaction, Computer Science - Software Engineering, Electrical Engineering and Systems Science - Systems and Control

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

المؤلفون: Dai, Xiaotian^Aff9, Zhao, Shuai^Aff9, Lesage, Benjamin^Aff9, Bate, Iain^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, Aff8}, Yung, Moti, Editorial Board Member^Aff6, Margaria, Tiziana, editor^Aff7

المصدر: Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV. 13704:37-53

المؤلفون: Lesage, Benjamin, Griffin, David, Altmeyer, Sebastian, Davis, Robert I.

المصدر: 2015 IEEE Real-Time Systems Symposium Real-Time Systems Symposium, 2015 IEEE. :361-372 Dec, 2015

Relation: 2015 IEEE Real-Time Systems Symposium (RTSS)

المؤلفون: Lesage, Benjamin^Aff11, Alexander, Rob^Aff11

المساهمون: 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, Habli, Ibrahim, editor^Aff8, Sujan, Mark, editor^Aff9, Bitsch, Friedemann, editor^Aff10

المصدر: Computer Safety, Reliability, and Security : 40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings. 12852:195-209

المؤلفون: Hardy, Damien, Lesage, Benjamin, Puaut, Isabelle

المصدر: 2011 IEEE 32nd Real-Time Systems Symposium Real-Time Systems Symposium (RTSS), 2011 IEEE 32nd. :204-213 Nov, 2011

Relation: 2011 IEEE 32nd Real-Time Systems Symposium (RTSS)

المؤلفون: Lesage, Benjamin^Aff1, Griffin, David^Aff1, Altmeyer, Sebastian^Aff2, Cucu-Grosjean, Liliana^Aff3, Davis, Robert I.^{Aff1, Aff3}

المصدر: Real-Time Systems: The International Journal of Time-Critical Computing Systems. 54(2):307-388

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

المؤلفون: Douthwaite, James A., Lesage, Benjamin Michael Jean-Rene, Gleirscher, Mario, Calinescu, Radu, Aitken, Jonathan M., Alexander, Rob, Law, James

المصدر: Frontiers in Robotics and AI, Vol 8 (2021)
Frontiers in Robotics and AI

مصطلحات موضوعية: Robotics and AI, robotics, modular framework, QA75.5-76.95, human-robot collaboration, digital twins, automated code generation, Computer Science Applications, collaborative robot safety, Artificial Intelligence, Electronic computers. Computer science, risk-informed software synthesis, TJ1-1570, Mechanical engineering and machinery, probabilistic model checking, Original Research

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::748b493f42627f9a64d9b2625fb37bfe
https://www.frontiersin.org/articles/10.3389/frobt.2021.758099/full