SCIENCES INDUSTRIELLES DE L'INGÉNIEUR Option : ingénierie ...

Nous proposons un langage temporel proche de l'environnement SysML pour pré- ciser les exigences fonctionnelles, exprimables sur les diagrammes SysML et ...