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

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

Conference Poster Year : 2027

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

(1) , , , , , , , , , (1) , (1) , (1) , (1) , (2, 1)

1
2

Rodin Vincent

Function : Author

Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance

Vukšić Marko

Function : Author

Kovacevic Tonko

Function : Author

Đukić Predrag

Function : Author

Rogulj Roko

Function : Author

Šitić Slaven

Function : Author

Džaja Barbara

Function : Author

Turić Hrvoje

Function : Author

Zdroik Jakub

Function : Author

Tran Hai Nam

Function : Author

Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance

Nicolas Valérie-Anne

Function : Author

Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance

Plantec Alain

Function : Author

Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance

Lemarchand Laurent

Function : Author

Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance

Singhoff Frank

Function : Author

Equipe Software/HArdware and unKnown Environment inteRactions

Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance

Domains

Computer Science [cs]

Fichier principal

BEING-SEA-EU-Poster_ROV-OPERATE.pdf (915.53 Ko)

Origin	Files produced by the author(s)

Frank Singhoff : Connect in order to contact the contributor

https://hal.univ-brest.fr/hal-04641877

Submitted on : Tuesday, July 9, 2024-3:20:36 PM

Last modification on : Saturday, July 13, 2024-3:19:50 AM

Dates and versions

hal-04641877 , version 1 (09-07-2024)

Identifiers

HAL Id : hal-04641877 , version 1

Cite

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 2027, Malta, France. ⟨hal-04641877⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-BREST INSTITUT-TELECOM CNRS LAB-STICC_UBO ENIB LAB-STICC ANR LAB-STICC_SHAKER LAB-STICC_SHARP

0 View

0 Download

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

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share