Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Coquard, Emmanuel"'
Publikováno v:
Fundamenta Informaticae 181(1), pages 31-67, 2021
The next generation of space systems will have to achieve more and more complex missions. In order to master the development cost and duration of such systems, an alternative to a manual design is to automatically synthesize the main parameters of th
Externí odkaz:
http://arxiv.org/abs/2112.07548
Publikováno v:
This manuscript is the extended version of the manuscript of the same name published in the proceedings of the 19th International Conference on Application of Concurrency to System Design (ACSD 2019)
The next generation of space systems will have to achieve more and more complex missions. In order to master the development cost and duration of such systems, an alternative to a manual design is to automatically synthesize the main parameters of th
Externí odkaz:
http://arxiv.org/abs/1903.07217
Autor:
André, Étienne1 (AUTHOR) eandre93430@lipn13.fr, Coquard, Emmanuel2 (AUTHOR), Fribourg, Laurent3 (AUTHOR), Jerray, Jawher4 (AUTHOR), Lesens, David2 (AUTHOR), Keller, Jörg (AUTHOR), Penczek, Wojciech (AUTHOR)
Publikováno v:
Fundamenta Informaticae. 2021, Vol. 182 Issue 1, p31-67. 37p.
Autor:
André, Étienne, Coquard, Emmanuel, Fribourg, Laurent, Jerray, Jawher, Lesens, David, Keller, Jörg, Penczek, Wojciech
Publikováno v:
Fundamenta Informaticae; 2021, Vol. 182 Issue 1, p31-67, 37p