المؤلفون: Ingrand, Félix

مصطلحات موضوعية: Computer Science - Robotics, Computer Science - Software Engineering

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

المؤلفون: Foughali, Mohammed, Bensalem, Saddek, Combaz, Jacques, Ingrand, Felix

المصدر: 2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) Formal Methods and Models for System Design (MEMOCODE), 2020 18th ACM-IEEE International Conference on. :1-12 Dec, 2020

Relation: 2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

المؤلفون: Schüller, Peter, Costeira, João Paolo, Crowley, James, Grosinger, Jasmin, Ingrand, Félix, Köckemann, Uwe, Saffiotti, Alessandro, Welss, Martin

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

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

المؤلفون: Ingrand, Felix

المصدر: 2019 Third IEEE International Conference on Robotic Computing (IRC) IRC Robotic Computing (IRC), 2019 Third IEEE International Conference on. :321-328 Feb, 2019

Relation: 2019 Third IEEE International Conference on Robotic Computing (IRC)

المؤلفون: Bit-Monnot, Arthur, Ghallab, Malik, Ingrand, Félix, Smith, David E.

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

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

المؤلفون: Foughali, Mohammed, Berthomieu, Bernard, Dal Zilio, Silvano, Hladik, Pierre-Emmanuel, Ingrand, Felix, Mallet, Anthony

المصدر: 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2018 IEEE/ACM 6th International FME Workshop on. :2-9 May, 2018

Relation: 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE)

المؤلفون: Sotiropoulos, Thierry, Waeselynck, Helene, Guiochet, Jeremie, Ingrand, Felix

المصدر: 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS) QRS Software Quality, Reliability and Security (QRS), 2017 IEEE International Conference on. :150-159 Jul, 2017

Relation: 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS)

المؤلفون: Foughali, Mohammed, Ingrand, Félix, Mallet, Anthony

مصطلحات موضوعية: Computer Science - Robotics, Computer Science - Software Engineering

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

المؤلفون: Dvorak, Filip, Bartak, Roman, Bit-Monnot, Arthur, Ingrand, Felix, Ghallab, Malik

المصدر: 2014 IEEE 26th International Conference on Tools with Artificial Intelligence Tools with Artificial Intelligence (ICTAI), 2014 IEEE 26th International Conference on. :115-121 Nov, 2014

Relation: 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI)

المؤلفون: Ingrand, Félix^Aff6

المساهمون: Cavalcanti, Ana, editor^Aff1, Dongol, Brijesh, editor^Aff2, Hierons, Rob, editor^Aff3, Timmis, Jon, editor^Aff4, Woodcock, Jim, editor^Aff5

المصدر: Software Engineering for Robotics. :219-248