• Object oriented and formal met...

Treffer: Object oriented and formal methods for AUV development

Title:
Object oriented and formal methods for AUV development
Authors:
Champeau, J., Dhaussy, P., Moitie, R., Prigent, A.
Source:
OCEANS 2000 MTS/IEEE Conference and Exhibition. Conference Proceedings (Cat. No.00CH37158) OCEANS 2000 OCEANS 2000 MTS/IEEE Conference and Exhibition. 1:73-78 vol.1 2000
Relation:
OCEANS 2000 MTS/IEEE Conference and Exhibition. Conference Proceedings
Database:
IEEE Xplore Digital Library