Author:
Rahim Messaoud,Boukala-Ioualalen Malika,Hammad Ahmed
Publisher
Springer International Publishing
Reference15 articles.
1. Andrade, E., Macie, P., Callou, G., Nogueira, B.: A methodology for mapping SysML activity diagram to time petri net for requirement validation of embedded real-time systems with energy constraints. In: Third International Conference on Digital Society, ICDS 2009, pp. 266–271 (2009)
2. Berard, B., et al.: Systems and Software Verification: Model-Checking Techniques and Tools, 1st edn. Springer, Cham (2010). https://doi.org/10.1007/978-3-662-04558-9
3. Binalialhag, T., Hassine, J., Amyot, D.: Static slicing of use case maps requirements models. Softw. Syst. Modeling 18(4), 2465–2505 (2019)
4. Debbabi, M., Hassaine, F., Jarraya, Y., Soeanu, A., Alawneh, L.: Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models, 1st edn. Springer, New York (2010). https://doi.org/10.1007/978-3-642-15228-3
5. Foures, D., Vincent, A., Pascal, J.: ACTIVITYDIAGRAM2PETRINET : transformation-based model in accordance with the Omg SySML specifications. In: 2011 Proceedings of the Eurosis, European Simulation and Modelling Conference, pp. 429–434 (2011)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献