Taking advantage of some complementary modeling methods to meet critical system requirement specification - Archive ouverte HAL
Communication Dans Un Congrès Année : 2008

Taking advantage of some complementary modeling methods to meet critical system requirement specification

Domaines

Automatique / Robotique

Vincent Cocquempot  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00838026

Soumis le : lundi 24 juin 2013-15:59:02

Dernière modification le : mardi 3 décembre 2024-15:46:49

Fichier non déposé

Dates et versions

hal-00838026 , version 1 (24-06-2013)

Identifiants

  • HAL Id : hal-00838026 , version 1

Citer

François Defossez, Philippe Bon, Simon Collart-Dutilleul. Taking advantage of some complementary modeling methods to meet critical system requirement specification. Eleventh International Conference on Computer System Design and Operations in the Railway and Other Transit Systems, Sep 2008, Tolède, Spain. pp.CDROM. ⟨hal-00838026⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LAGIS IFSTTAR CRISTAL TDS-MACS UNIV-LILLE UNIV-EIFFEL
116 Consultations
0 Téléchargements

Partager

More