Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi Hassaïne. Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams. In 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 26-29 March 2007, Tucson, Arizona, USA. pages 515-522, IEEE Computer Society, 2007. [doi]
@inproceedings{JarrayaSDH07, title = {Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams}, author = {Yosr Jarraya and Andrei Soeanu and Mourad Debbabi and Fawzi Hassaïne}, year = {2007}, doi = {10.1109/ECBS.2007.22}, url = {http://dx.doi.org/10.1109/ECBS.2007.22}, tags = {analysis}, researchr = {https://researchr.org/publication/JarrayaSDH07}, cites = {0}, citedby = {0}, pages = {515-522}, booktitle = {14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 26-29 March 2007, Tucson, Arizona, USA}, publisher = {IEEE Computer Society}, isbn = {0-7695-2772-8}, }