Automated model verification of the International Space Station for path planning
| Autor: | Haak, W.F.W., Groen, F.C.A., Holweg, E. |
|---|---|
| Zdroj: | In Robotics and Autonomous Systems 1999 28(2):249-258 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Haak, W.F.W., Groen, F.C.A., Holweg, E. |
|---|---|
| Zdroj: | In Robotics and Autonomous Systems 1999 28(2):249-258 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect