Author:
Bouaziz Hamida,Chouali Samir,Hammad Ahmed,Mountassir Hassan
Publisher
Springer International Publishing
Reference15 articles.
1. OMG: OMG Systems Modeling Language (OMG SysML
$$^{\rm {TM}}$$
TM
) Version 1.3 (2012).
http://www.omg.org
2. de Alfaro L., Henzinger T.A.: Interface automata. In: ESEC/SIGSOFT FSE, pp. 109–120 (2001)
3. Lecture Notes in Computer Science;P Inverardi,2003
4. Poizat, P., Salaün, G., Tivoli, M.: An adaptation-based approach to incrementally build component systems. Electr. Notes Theor. Comput. Sci. 182, 155–170 (2007)
5. Chouali, S., Hammad, A.: Formal verification of components assembly based on SysML and interface automata. ISSE 7(4), 265–274 (2011)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献