|
[JSDH07]
Yosr Jarraya, Andrei Soeanu, Mourad Debbabi and Fawzi Hassaine.
Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams.
In Proc. 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07), pages 515-522, IEEE.
2007.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|