FVSBS 2014 Track Organization Second Track on Formal Verification of Service Based Systems
Track Chairs,Mohamed Graiet, Abedelhakdjamel Seriai,Antoine Beugnard, A P Haller,Chihab Hanachi,Christelle Urtado,Francois Charoy,Inge Lucassen,Jeanclaude Royer,Jorg Desel,Jun Sun,Khaled Gaaloul,Laure Petrucci,Liu Yang, Tahar Bhiri,Mourad Chabane Oussalah,Mourad Kmimech,Olivier Barais,Pascal Andre,Regine Laleau,Walid Gaaloul,Yves Ledru,Zhangbing Zhou mag(2014)
AI 理解论文
溯源树
样例