Author:
Ouchani Samir,Mohamed Otmane Aït,Debbabi Mourad
Subject
Artificial Intelligence,Computer Science Applications,General Engineering
Reference39 articles.
1. Principles of model checking;Baier,2008
2. OMG. 2007. OMG Systems Modeling Language (OMG SysML) Specification. Object Management Group. OMG Available Specification.
3. OMG. 2007 OMG Unified Modeling Language: Superstructure 2.1.2. Object Management Group.
4. SysML for systems engineering;Holt,2007
5. Andrade, E., Maciel, P., Callou, G., & Nogueira, B. (2009). A methodology for mapping SysML activity diagram to time petri net for requirement validation of embedded real-time systems with energy constraints. In Proc.of the 2009 third int. conf. on dig. soc. ICDS’09 (pp. 266–271).
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献