A generic model for system substitution

Guillaume Babin (1) , Yamine Aït-Ameur (1, 2) , Marc Pantel (1, 2)

1 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
2 Toulouse INP - Institut National Polytechnique (Toulouse)

Domaines: Informatique [cs]

Guillaume Babin, Yamine Aït-Ameur, Marc Pantel. A generic model for system substitution. Romanovsky, Alexander; Ishikawa, Fuyuki. Trustworthy Cyber-Physical Systems Engineering, 4, Chapman & Hall, CRC Press, pp.75--103, 2016, Computer and Information Science Series, 978-1498742450. ⟨hal-03155039⟩