Test of the ICARE platform fusion mechanism
In 12th International Workshop on Design, Specification and Verification of Interactive Systems,LNCS. 2005.
Sophie Dupuy-Chessa, Lydie du Bousquet, Jullien Bouchet, Yves Ledru
In 12th International Workshop on Design, Specification and Verification of Interactive Systems,LNCS. 2005.
Sophie Dupuy-Chessa, Lydie du Bousquet, Jullien Bouchet, Yves Ledru