Verifying service continuity in a satellite reconfiguration procedure - Archive ouverte HAL
Article Dans Une Revue Automated Software Engineering Année : 2004

Verifying service continuity in a satellite reconfiguration procedure

Résumé

no abstract

Domaines

Informatique [cs] Modélisation et simulation

Christophe Lohr  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01674637

Soumis le : mercredi 3 janvier 2018-12:06:27

Dernière modification le : lundi 20 novembre 2023-11:44:17

Fichier non déposé

Dates et versions

hal-01674637 , version 1 (03-01-2018)

Identifiants

  • HAL Id : hal-01674637 , version 1

Citer

Ludovic Apvrille, Pierre de Saqui-Sannes, Patrick Sénac, Christophe Lohr. Verifying service continuity in a satellite reconfiguration procedure. Automated Software Engineering, 2004, 11, pp.167--192. ⟨hal-01674637⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS INSA-TOULOUSE LAAS UT1-CAPITOLE TDS-MACS INSA-GROUPE TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
48 Consultations
0 Téléchargements

Partager

More