✦ LIBER ✦
[IEEE 2009 Third International Conference on Digital Society (ICDS) - Cancun, Mexico (2009.02.1-2009.02.7)] 2009 Third International Conference on Digital Society - A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints
✍ Scribed by Andrade, Ermeson; Maciel, Paulo; Callou, Gustavo; Nogueira, Bruno
- Book ID
- 120016432
- Publisher
- IEEE
- Year
- 2009
- Weight
- 269 KB
- Category
- Article
No coin nor oath required. For personal study only.