抽象的な

??????????????????????????????????????????????????????????????????????????????

サンジーブ・ダワン、ニルマル・クマール、シヴァ・サイニ

CET ?????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????? 5 ?? 10 ???????????????????????????? Il ???????????????????????????????????????????????????????????????????????????? (T-Vec?Reactive Systems?I-logix)???????????? (Conformiq?Leirios Technologies?Telelogic)???????????????????BFS05?????????????????????????????????????????????? ???????????? Enfin, les moyens de determiner la pertinence des projets pour les test based sur des modelssont envisagés.????????????????????????????????????MBT ?????????