Using a process algebra interface for verification and validation of UML statecharts
Article in Computer Standards & Interfaces (August 2023)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
Article in Computer Standards & Interfaces (August 2023)
Monograph (January 2018)
Article in Journal of Systems and Software (February 2010)