Implementation relations and testing for cyclic systems: Adding probabilities

  1. Núñez, M.
  2. Hierons, R.M.
  3. Lefticaru, R.
Revista:
Robotics and Autonomous Systems

ISSN: 0921-8890

Año de publicación: 2023

Volumen: 165

Tipo: Artículo

DOI: 10.1016/J.ROBOT.2023.104426 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus