Behavioral Refinement and Compatibility of Statechart Extensions
Electronic Notes in Theoretical Computer Science (ENTCS)
Behavioral refinement of non-deterministic state transition diagrams based on behavior elimination
Proceedings of the 17th International Software Product Line Conference co-located workshops
Hi-index | 0.00 |