[IEEE 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) - Tucson, AZ, USA (2007.03.26-2007.03.29)] 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) - Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams
Jarraya, Yosr, Soeanu, Andrei, Debbabi, Mourad, Hassaine, FawziYear:
2007
Language:
english
DOI:
10.1109/ecbs.2007.22
File:
PDF, 178 KB
english, 2007