ROV-OPERATE: system engineering of an underwater ROV for early verification and automatic synthesis

Rodin Vincent (1) , Vukšić Marko , Kovacevic Tonko , Đukić Predrag , Rogulj Roko , Šitić Slaven , Džaja Barbara , Turić Hrvoje , Zdroik Jakub , Tran Hai Nam (1, 2) , Nicolas Valérie-Anne (1, 2) , Plantec Alain (1, 2) , Lemarchand Laurent (1, 2) , Singhoff Frank (2, 1)

1 Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
2 Lab-STICC_SHAKER - Equipe Software/HArdware and unKnown Environment inteRactions

Domaines: Informatique [cs]

Rodin Vincent, Vukšić Marko, Kovacevic Tonko, Đukić Predrag, Rogulj Roko, et al.. ROV-OPERATE: system engineering of an underwater ROV for early verification and automatic synthesis. Conference BEING SEA-EU, University of Malta, Jun 2024, Malta, Malta. ⟨hal-04641877⟩