Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Bourrely, Jean"'
Publikováno v:
Mathematics and Computers in Simulation
Mathematics and Computers in Simulation, Elsevier, 2018, 147, pp.140-151. ⟨10.1016/j.matcom.2017.05.006⟩
Mathematics and Computers in Simulation, Elsevier, 2018, 147, pp.140-151. ⟨10.1016/j.matcom.2017.05.006⟩
International audience; Whilst the amount of debris around the Earth steadily increases, the danger of collisions between debris and operating man-made space systems becomes a major issue. Whilst on the one hand fine physical simulation allows predic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::0842ee64f5eb0ed192f404e580e6b6a8
https://hal.archives-ouvertes.fr/hal-01849116/file/DTIS18047.1528444097_postprint.pdf
https://hal.archives-ouvertes.fr/hal-01849116/file/DTIS18047.1528444097_postprint.pdf
Publikováno v:
NASA Formal Methods (9783319406473); 2016, p3-18, 16p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
NASA Formal Methods (9783319406473); 2016, p395-396, 2p
Autor:
Sanjai Rayadurgam, Oksana Tkachuk
This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016. The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from