Modeling and Analysis of Safety Requirements in Robot Navigation with an Extension of UML MARTE

Davide Brugali. Modeling and Analysis of Safety Requirements in Robot Navigation with an Extension of UML MARTE. In IEEE International Conference on Real-time Computing and Robotics, RCAR 2018, Kandima, Maldives, August 1-5, 2018. pages 439-444, IEEE, 2018. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.