ROV-OPERATE: system engineering of an underwater ROV for early verification and automatic synthesis
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Frank Singhoff : Connectez-vous pour contacter le contributeur
https://hal.univ-brest.fr/hal-04641877
Soumis le : mardi 9 juillet 2024-15:20:36
Dernière modification le : dimanche 21 juillet 2024-12:09:23