ReUML: a UML Profile for Modeling and Verification of Reactive Systems

Fatemeh Alavizadeh, Alireza Hashemi Nekoo, Marjan Sirjani. ReUML: a UML Profile for Modeling and Verification of Reactive Systems. In Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), August 25-31, 2007, Cap Esterel, French Riviera, France. pages 50, IEEE Computer Society, 2007. [doi]

Authors

Fatemeh Alavizadeh

This author has not been identified. Look up 'Fatemeh Alavizadeh' in Google

Alireza Hashemi Nekoo

This author has not been identified. Look up 'Alireza Hashemi Nekoo' in Google

Marjan Sirjani

This author has not been identified. It may be one of the following persons: Look up 'Marjan Sirjani' in Google