Spécification et vérification formelles des systèmes mécatroniques selon le modèle de référence des systèmes répartis ouverts RM-ODP

Loading...
Thumbnail Image

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

Citation

Endorsement

Review

Supplemented By

Referenced By