|
|||||
|
|
Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System |
|
| Authors: | L. Apvrille P. de Saqui-Sannes P. Sénac C. Lohr |
| Affiliation: | (1) GET/ENST/COMELEC/Lab SoC, Institut Eurecom, BP 193, 2229 route des crètes, 06904 Sophia, Antipolis Cedex, France;(2) ENSICA, 1 place Emile Blouin, 31056 Toulouse Cedex 05, France;;(3) LAAS-CNRS, 7 avenue du Colonel Roche, 31077 Toulouse Cedex 04, France;(4) LAAS-CNRS, 7 avenue du Colonel Roche, 31077 Toulouse Cedex 04, France;;(5) Electrical and Computer Engineering Department, Concordia University, 1455 de Maisonneuve W., Montreal, QC, H3G 1M8, Canada |
| Abstract: | |
| Keywords: | dynamic reconfiguration real-time UML RT-LOTOS formal validation satellite |
| 本文献已被 SpringerLink 等数据库收录！ | |